Categorical set theory explained
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
References
- Book: Michael Barr (mathematician) . Charles Wells (mathematician) . Barr . M. . Wells . C. . Category Theory for Computing Science . Prentice Hall . 2nd . 1996 . 978-0-13-323809-9 .
- Book: Bourbaki, N. . Nicolas Bourbaki . John . Meldrum. John D. P. Meldrum . [{{GBurl|4JprCQAAQBAJ|pg=PP7}} Elements of the History of Mathematics ]. 1994 . Springer . 978-3-642-61693-8 . 10.1007/978-3-642-61693-8 .
- Book: Kelley, J.L. . John L. Kelley . [{{GBurl|DfbODQAAQBAJ|pg=PR8}} General Topology ]. Dover . 1955 . 2017 . 978-0-486-81544-2 .
- Book: Joachim Lambek . P.J. Scott . Lambek . J. . Scott . P.J. . [{{GBurl|6PY_emBeGjUC|pg=PR5}} Introduction to Higher Order Categorical Logic ]. Cambridge University Press . Cambridge studies in advanced mathematics . 7 . 1988 . 978-0-521-35653-4 .
- Book: Francis William Lawvere . Robert Rosebrugh . Lawvere . F.W. . Rosebrugh . R. . [{{GBurl|h3_7aZz9ZMoC|pg=PP1}} Sets for Mathematics ]. Cambridge University Press . 2003 . 978-0-521-01060-3 .
- Book: Lawvere . F.W. . Stephen H. Schanuel . Schanuel . S.H. . [{{GBurl|6G0gAwAAQBAJ|pg=PR7}} Conceptual Mathematics: A First Introduction to Categories ]. Cambridge University Press . 2nd . 2009 . 978-1-139-64396-2 .
- Book: Mathematical Society of Japan . [{{GBurl|WHjO9K6xEm4C|pg=PR5}} Encyclopedic Dictionary of Mathematics ]. 2nd . Kiyosi Itô . MIT Press . 1993 . 0-262-59020-4 . 2000 .
- Book: Mitchell, J.C. . John C. Mitchell . Foundations for Programming Languages . MIT Press . 1996 . 978-0-585-03789-9 . 48138995 .
- Book: Nestruev, J. . Jet Nestruev . [{{GBurl|vTrhBwAAQBAJ|pg=PR12}} Smooth Manifolds and Observables ]. Springer . 2003 . 0-387-95543-7 .
- Book: Poizat, B. . Bruno Poizat . Moses . Klein . [{{GBurl|_WXgBwAAQBAJ|pg=PR16}} A Course in Model Theory: An Introduction to Contemporary Mathematical Logic ]. Springer . 2012 . 2000 . 978-1-4419-8622-1 .
External links
- Tom . Leinster . Rethinking set theory . American Mathematical Monthly . 121 . 5 . 403–415 . 2014 . 10.4169/amer.math.monthly.121.05.403 . 10.1.1.751.6210 . 1212.6543. 5732995 .