Objeto en la teoría de categorías.
En la disciplina matemática de la teoría de categorías , un objeto inicial estricto es un objeto inicial 0 de una categoría C con la propiedad de que cada morfismo en C con codominio 0 es un isomorfismo . En una categoría cerrada cartesiana , cada objeto inicial es estricto. [1] Además, si C es una categoría distributiva o extensiva , entonces el objeto inicial 0 de C es estricto. [2]
Referencias
- ^ McLarty, Colin (4 de junio de 1992). Categorías elementales, Topos elementales. Prensa de Clarendon . ISBN 0191589497. Consultado el 13 de febrero de 2017 .
- ^ Carboni, Aurelio; Falta, Stephen; Walters, RFC (3 de febrero de 1993). "Introducción a categorías extensivas y distributivas". Revista de Álgebra Pura y Aplicada . 84 (2): 145-158. doi :10.1016/0022-4049(93)90035-R.
enlaces externos
