Categorical set theory: Difference between revisions
Content deleted Content added
→top: General fixes, removed orphan tag |
→References: →cite book | Alter: title. Add: year. | Use this tool. Report bugs. | #UCB_Gadget |
||
| Line 8: | Line 8: | ||
==References== |
==References== |
||
{{refbegin}} |
|||
* [[Michael Barr (mathematician)|Barr, M.]] and [[Charles Wells (mathematician)|Wells, C.]], ''Category Theory for Computing Science'', [[Hemel Hempstead]], UK, 1990. |
|||
*{{cite book |author1-link=Michael Barr (mathematician) |author2-link=Charles Wells (mathematician) |last1=Barr |first1=M. |last2=Wells |first2=C. |title=Category Theory for Computing Science |publisher=Prentice Hall |edition=2nd |date=1996 |isbn=978-0-13-323809-9 }} |
|||
* [[Nicolas Bourbaki|Bourbaki, N.]], ''Elements of the History of Mathematics'', John Meldrum (trans.), Springer-Verlag, Berlin, Germany, 1994. |
|||
*{{cite book |author-link=Nicolas Bourbaki |first=N. |last=Bourbaki |translator-first=John |translator-last=Meldrum |title=Elements of the History of Mathematics |year=1994 |publisher=Springer |isbn=978-3-642-61693-8 |doi=10.1007/978-3-642-61693-8 |url={{GBurl|4JprCQAAQBAJ|pg=PP7}}}} |
|||
* [[John L. Kelley|Kelley, J.L.]], ''General Topology'', Van Nostrand Reinhold, New York, NY, 1955. |
|||
*{{cite book |author-link=John L. Kelley |first=J.L. |last=Kelley |title=General Topology |publisher=Dover |orig-date=1955 |date=2017 |isbn=978-0-486-81544-2 |url={{GBurl|DfbODQAAQBAJ|pg=PR8}}}} |
|||
* [[Joachim Lambek|Lambek, J.]] and [[P.J. Scott|Scott, P.J.]], ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986. |
|||
*{{cite book |author1-link=Joachim Lambek |author2-link=P.J. Scott |last1=Lambek |first1=J. |last2=Scott |first2=P.J. |title=Introduction to Higher Order Categorical Logic |publisher=Cambridge University Press |series=Cambridge studies in advanced mathematics |volume=7 |date=1988 |isbn=978-0-521-35653-4 |url={{GBurl|6PY_emBeGjUC|pg=PR5}}}} |
|||
* [[Francis William Lawvere|Lawvere, F.W.]], and [[Robert Rosebrugh|Rosebrugh, R.]], ''Sets for Mathematics'', Cambridge University Press, Cambridge, UK, 2003. |
|||
* |
*{{cite book |author1-link=Francis William Lawvere |author2-link=Robert Rosebrugh |last1=Lawvere |first1=F.W. |last2=Rosebrugh |first2=R. |title=Sets for Mathematics |publisher=Cambridge University Press |date=2003 |isbn=978-0-521-01060-3 |url={{GBurl|h3_7aZz9ZMoC|pg=PP1}}}} |
||
*{{cite book |last1=Lawvere |first1=F.W. |author2-link=Stephen H. Schanuel |last2=Schanuel |first2=S.H. |title=Conceptual Mathematics: A First Introduction to Categories |publisher=Cambridge University Press |edition=2nd |date=2009 |isbn=978-1-139-64396-2 |url={{GBurl|6G0gAwAAQBAJ|pg=PR7}}}} |
|||
* [[Mathematical Society of Japan]], ''Encyclopedic Dictionary of Mathematics'', 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. |
|||
*{{cite book |author-link=Mathematical Society of Japan |author= |title=Encyclopedic Dictionary of Mathematics |edition=2nd |editor=Kiyosi Itô |publisher=MIT Press |orig-year=1993 |isbn=0-262-59020-4 |date=2000 |url={{GBurl|WHjO9K6xEm4C|pg=PR5}}}} |
|||
* [[John C. Mitchell|Mitchell, J.C.]], ''Foundations for Programming Languages'', MIT Press, Cambridge, MA, 1996. |
|||
*{{cite book |author-link=John C. Mitchell |first=J.C. |last=Mitchell |title=Foundations for Programming Languages |publisher=MIT Press |date=1996 |isbn=978-0-585-03789-9 |oclc=48138995 |url=https://archive.org/details/foundationsforpr0000mitc}} |
|||
* [[Jet Nestruev|Nestruev, J.]], ''Smooth Manifolds and Observables'', Springer-Verlag, New York, NY, 2003. {{ISBN|0-387-95543-7}}. |
|||
*{{cite book |author-link=Jet Nestruev |first=J. |last=Nestruev |title=Smooth Manifolds and Observables |publisher=Springer |date=2003 |isbn=0-387-95543-7 |url={{GBurl|vTrhBwAAQBAJ|pg=PR12}}}} |
|||
* [[Bruno Poizat|Poizat, B.]], ''A Course in Model Theory: An Introduction to Contemporary Mathematical Logic'', Moses Klein (trans.), Springer-Verlag, New York, NY, 2000. |
|||
*{{cite book |author-link=Bruno Poizat |translator-first=Moses |translator-last=Klein |first=B. |last=Poizat |title=A Course in Model Theory: An Introduction to Contemporary Mathematical Logic |publisher=Springer |date=2012 |orig-date=2000 |isbn=978-1-4419-8622-1 |url={{GBurl|_WXgBwAAQBAJ|pg=PR16}}}} |
|||
{{refend}} |
|||
==External links== |
==External links== |
||
Revision as of 06:00, 18 September 2022
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
- Barr, M.; Wells, C. (1996). Category Theory for Computing Science (2nd ed.). Prentice Hall. ISBN 978-0-13-323809-9.
- Bourbaki, N. (1994). Elements of the History of Mathematics. Translated by Meldrum, John. Springer. doi:10.1007/978-3-642-61693-8. ISBN 978-3-642-61693-8.
- Kelley, J.L. (2017) [1955]. General Topology. Dover. ISBN 978-0-486-81544-2.
- Lambek, J.; Scott, P.J. (1988). Introduction to Higher Order Categorical Logic. Cambridge studies in advanced mathematics. Vol. 7. Cambridge University Press. ISBN 978-0-521-35653-4.
- Lawvere, F.W.; Rosebrugh, R. (2003). Sets for Mathematics. Cambridge University Press. ISBN 978-0-521-01060-3.
- Lawvere, F.W.; Schanuel, S.H. (2009). Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University Press. ISBN 978-1-139-64396-2.
- Kiyosi Itô, ed. (2000) [1993]. Encyclopedic Dictionary of Mathematics (2nd ed.). MIT Press. ISBN 0-262-59020-4.
- Mitchell, J.C. (1996). Foundations for Programming Languages. MIT Press. ISBN 978-0-585-03789-9. OCLC 48138995.
- Nestruev, J. (2003). Smooth Manifolds and Observables. Springer. ISBN 0-387-95543-7.
- Poizat, B. (2012) [2000]. A Course in Model Theory: An Introduction to Contemporary Mathematical Logic. Translated by Klein, Moses. Springer. ISBN 978-1-4419-8622-1.
External links
- Rethinking set theory by Tom Leinster
 | This set theory-related article is a stub. You can help Wikipedia by expanding it. |
 | This category theory-related article is a stub. You can help Wikipedia by expanding it. |