Hispanopedia Wiki
Articulo de referencia

Teoría de conjuntos categóricos

La teoría de conjuntos categóricos es cualquiera de las diversas versiones de la teoría de conjuntos desarrolladas a partir de la teoría de categorías matemáticas o tratadas en ...

Hispanopedia WikiContenido en espanolLectura gratuita

La teoría de conjuntos categóricos es cualquiera de las diversas versiones de la teoría de conjuntos desarrolladas a partir de la teoría de categorías matemáticas o tratadas en su contexto . Su base se originó con el desarrollo de ETCS por William Lawvere en 1964. [ 1 ]

Véase también

Referencias

En línea

  1. ↑ Osius, Gerhard (febrero de 1974). "Teoría categórica de conjuntos: una caracterización de la categoría de conjuntos" . Journal of Pure and Applied Algebra . 4 (1): 79– 119. doi : 10.1016/0022-4049(74)90032-2 .

General

  • Barr, M.; Wells , C. (1996). Teoría de categorías para la informática (2.ª  ed.). Prentice Hall. ISBN 978-0-13-323809-9.
  • Bourbaki, N. (1994). Elementos de la historia de las matemáticas . Traducido por John Meldrum . Springer. doi : 10.1007/978-3-642-61693-8 . ISBN 978-3-642-61693-8.
  • Kelley, JL (2017) [1955]. Topología general . Dover. ISBN 978-0-486-81544-2.
  • Lambek, J.; Scott , PJ (1988). Introducción a la lógica categórica de orden superior . Estudios de Cambridge en matemáticas avanzadas. Vol.  7. Cambridge University Press. ISBN 978-0-521-35653-4.
  • Lawvere, FW ; Rosebrugh, R. (2003). Conjuntos para matemáticas . Cambridge University Press. ISBN 978-0-521-01060-3.
  • Lawvere, FW; Schanuel, SH (2009). Matemáticas conceptuales: Una primera introducción a las categorías (2.ª  ed.). Cambridge University Press. ISBN 978-1-139-64396-2.
  • Kiyosi Itô , ed. (2000) [1993]. Diccionario enciclopédico de matemáticas (2ª  ed.). Prensa del MIT. ISBN 0-262-59020-4.
  • Mitchell, JC (1996). Fundamentos de los lenguajes de programación . MIT Press. ISBN 978-0-585-03789-9OCLC 48138995​​ 
  • Nestruev, J. (2003). Variedades suaves y observables . Springer. ISBN 0-387-95543-7.
  • Poizat, B. (2012) [2000]. Un curso de teoría de modelos: una introducción a la lógica matemática contemporánea . Traducido por Klein, Moses. Springer. ISBN 978-1-4419-8622-1.
  • Leinster, Tom (2014). "Repensando la teoría de conjuntos". 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 .