Categorical set theory

This article is an orphan, as no other articles . Please introduce links to this page from ; try the Find link tool for suggestions. (June 2015)

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

See also[]

• Categorical logic

References[]

• 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 , Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK, 1986.
• Lawvere, F.W., and , 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.
• , Smooth Manifolds and Observables, Springer-Verlag, New York, NY, 2003. ISBN 0-387-95543-7.
• , A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Moses Klein (trans.), Springer-Verlag, New York, NY, 2000.

External links[]

• Rethinking set theory by Tom Leinster

This set theory-related article is a stub. You can help Wikipedia by .

• v
• t

This category theory-related article is a stub. You can help Wikipedia by .

• v
• t