Hispanopedia WikiEn 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 cartesiana cerrada , todo 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). Elementary Categories, Elementary Toposes . Clarendon Press . ISBN 0191589497Consultado el 13 de febrero de 2017 .
- ↑ Carboni, Aurelio; Lack, Stephen; Walters, RFC (3 de febrero de 1993). "Introducción a las categorías extensivas y distributivas". Journal of Pure and Applied Algebra . 84 (2): 145– 158. doi : 10.1016/0022-4049(93)90035-R .
Enlaces externos
- Objeto inicial estricto en el laboratorio n
Categorías :
- Objetos (teoría de categorías)
- Esbozos de teoría de categorías