Objeto subterminal
Saltar a navegación Saltar a búsqueda
En la teoría de categorías , una rama de las matemáticas, un objeto subterminal es un objeto X de una categoría C con la propiedad de que cada objeto de C tiene a lo sumo un morfismo en X . [1] Si X es subterminal, entonces el par de morfismos de identidad (1 X , 1 X ) hace X en el producto de X y X . Si C tiene un objeto terminal 1, entonces un objeto X es subterminal si y solo si es unsubobjeto de 1, de ahí el nombre. [2] La categoría de categorías con objetos sub-terminales y functores que los preservan no es accesible . [3]
Referencias
- ^ Pitt, David; Rydeheard, David E .; Johnstone, Peter (12 de septiembre de 1995). Categoría Teoría y Ciencias de la Computación: 6ª Conferencia Internacional, CTCS '95, Cambridge, Reino Unido, 7 al 11 de agosto de 1995. Actas . Springer . Consultado el 18 de febrero de 2017 .
- ^ Ong, Luke (10 de marzo de 2010). Fundamentos de la ciencia del software y las estructuras computacionales: 13ª Conferencia internacional, FOSSACS 2010, celebrada como parte de las conferencias europeas conjuntas sobre teoría y práctica del software, ETAPS 2010, Paphos, Chipre, 20 al 28 de marzo de 2010, Actas . Springer . ISBN 9783642120329. Consultado el 18 de febrero de 2017 .
- ^ Barr, Michael; Wells, Charles (septiembre de 1992). "Sobre las limitaciones de los bocetos" . Boletín matemático canadiense . Vol. 35 no. 3. Sociedad Matemática Canadiense .
enlaces externos
 | Este artículo relacionado con la teoría de categorías es un fragmento . Puedes ayudar a Wikipedia expandiéndolo . |
Contribute a better translation