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 todo 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 las categorías extensivas y distributivas". Revista de álgebra pura y aplicada . 84 (2): 145-158. doi : 10.1016 / 0022-4049 (93) 90035-R .