| |
| | SEP: Category Theory |
 | | Category theory is both an interesting object of philosophical study, and a potentially powerful formal tool for philosophical investigations of concepts such as space, system, and even truth. |
 | | Connections with intuitionistic mathematics were noted early on, and toposes are still used to investigate models of various aspects of intuitionism (Lambek and Scott 1986, Mac Lane and Moerdijk 1992, Van der Hoeven and Moerdijk 1984a, 1984b, 1984c, Moerdijk 1984, Moerdijk 1995a, Moerdijk 1998, Moerdijk and Palmgren 1997, Moerdijk and Palmgren 2002). |
 | | Category theory is, in this sense, the legitimate heir of the Dedekind-Hilbert-Noether-Bourbaki tradition, with its emphasis on the axiomatic method and algebraic structures. |
| plato.stanford.edu /entries/category-theory (11786 words) |
|