Category Theory

Category theory, a once obscure offshoot of mathematical topology, is the basis of the functional programming language ML. If you're an FP junkie, a programming language nut, or just like pondering abstraction, the Categories page at Mount Alison University in Canada is a good place to start.