Wolfram Research
Wolfram Math World: Foundations of Mathematics: Topics
This math tutorial site covers set theory, axioms, category theory, logic, mathematical problems, and point-set topology.
Stanford University
Stanford Encyclopedia of Philosophy: Category Theory
Explains major concepts in "category theory," a common alternative to traditional set theory. Some familiarity with the logical notation is assumed. Article does include sections on the history and general philosophical significance of...