Teoría de conjuntos categóricos

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

La teoría de conjuntos categórica es cualquiera de las varias versiones de la teoría de conjuntos desarrolladas o tratadas en el contexto de la teoría de categorías matemáticas .

Ver también

Lógica categórica

Referencias

Barr, M. y Wells, C. , Teoría de categorías para ciencias de la computación , Hemel Hempstead , Reino Unido, 1990.
Bourbaki, N. , Elementos de la historia de las matemáticas , John Meldrum (trad.), Springer-Verlag, Berlín, Alemania, 1994.
Kelley, JL , Topología general , Van Nostrand Reinhold, Nueva York, NY, 1955.
Lambek, J. y Scott, PJ , Introducción a la lógica categórica de orden superior , Cambridge University Press, Cambridge, Reino Unido, 1986.
Lawvere, FW y Rosebrugh, R. , Sets para matemáticas , Cambridge University Press, Cambridge, Reino Unido, 2003.
Lawvere, FW y Schanuel, SH , Conceptual Mathematics, A First Introduction to Categories , Cambridge University Press, Cambridge, Reino Unido, 1997. Reimpreso con correcciones, 2000.
Sociedad Matemática de Japón , Diccionario enciclopédico de matemáticas , 2da edición, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993.
Mitchell, JC , Fundamentos para lenguajes de programación , MIT Press, Cambridge, MA, 1996.
Nestruev, J. , Smooth Manifolds and Observables , Springer-Verlag, Nueva York, NY, 2003. ISBN 0-387-95543-7 .
Poizat, B. , Un curso de teoría de modelos: una introducción a la lógica matemática contemporánea , Moses Klein (traducción), Springer-Verlag, Nueva York, NY, 2000.

enlaces externos

Repensar la teoría de conjuntos por Tom Leinster

Este artículo relacionado con la teoría de conjuntos es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

Este artículo relacionado con la teoría de categorías es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .