Categorical set theory

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.


  • Barr, M. and Wells, C., Category Theory for Computing Science, Hemel Hempstead, UK, 1990.
  • Bourbaki, N., Elements of the History of Mathematics, John Meldrum (trans.), Springer-Verlag, Berlin, Germany, 1994.
  • Kelley, J.L., General Topology, Van Nostrand Reinhold, New York, NY, 1955.
  • Lambek, J. and Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK, 1986.
  • Lawvere, F.W., and Rosebrugh, R., Sets for Mathematics, Cambridge University Press, Cambridge, UK, 2003.
  • Lawvere, F.W., and Schanuel, S.H., Conceptual Mathematics, A First Introduction to Categories, Cambridge University Press, Cambridge, UK, 1997. Reprinted with corrections, 2000.
  • Mathematical Society of Japan, Encyclopedic Dictionary of Mathematics, 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993.
  • Mitchell, J.C., Foundations for Programming Languages, MIT Press, Cambridge, MA, 1996.
  • Nestruev, J., Smooth Manifolds and Observables, Springer-Verlag, New York, NY, 2003. ISBN 0-387-95543-7.
  • Poizat, B., A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Moses Klein (trans.), Springer-Verlag, New York, NY, 2000.

See also[edit]

External links[edit]