Kategorisk mängdlära

Kategorisk mängdlära är vilken som helst av flera versioner av mängdlära som utvecklats från eller behandlats inom ramen för matematisk kategoriteori .

Se även

• Kategorisk logik

•   Barr, M .; Wells, C. (1996). Kategoriteori för datavetenskap (2:a uppl.). Prentice Hall. ISBN 978-0-13-323809-9 .
•   Bourbaki, N. (1994). Element i matematikens historia . Översatt av Meldrum, John. Springer. doi : 10.1007/978-3-642-61693-8 . ISBN 978-3-642-61693-8 .
•   Kelley, JL (2017) [1955]. Allmän topologi . Dover. ISBN 978-0-486-81544-2 .
•   Lambek, J .; Scott, PJ (1988). Introduktion till kategorisk logik av högre ordning . Cambridge studier i avancerad matematik. Vol. 7. Cambridge University Press. ISBN 978-0-521-35653-4 .
•   Lawvere, FW ; Rosebrugh, R. (2003). Uppsättningar för matematik . Cambridge University Press. ISBN 978-0-521-01060-3 .
•   Lawvere, FW; Schanuel, SH (2009). Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University Press. ISBN 978-1-139-64396-2 .
•   Kiyosi Itô, red. (2000) [1993]. Encyclopedic Dictionary of Mathematics (2:a uppl.). MIT Press. ISBN 0-262-59020-4 .
•    Mitchell, JC (1996). Grunder för programmeringsspråk . MIT Press. ISBN 978-0-585-03789-9 . OCLC 48138995 .
•   Nestruev, J. (2003). Släta grenrör och observerbara . Springer. ISBN 0-387-95543-7 .
•   Poizat, B. (2012) [2000]. En kurs i modellteori: en introduktion till samtida matematisk logik . Översatt av Klein, Moses. Springer. ISBN 978-1-4419-8622-1 .

externa länkar

•    Leinster, Tom (2014). "Tänka om mängdlära". American Mathematical Monthly . 121 (5): 403–415. arXiv : 1212.6543 . CiteSeerX 10.1.1.751.6210 . doi : 10.4169/amer.math.monthly.121.05.403 . S2CID 5732995 .