Categorical set theory
From Wikipedia, the free encyclopedia
 |
This article is orphaned as few or no other articles link to it. Please help introduce links in articles on related topics. (July 2006) |
Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.
Contents |
[edit] References
[edit] Literature
- 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-Velag, 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.
