En 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 como máximo un morfismo en X. [1] Si X es subterminal, entonces el par de morfismos identidad (1 X , 1 X ) convierte a 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 un subobjeto de 1, de ahí el nombre. [2] La categoría de categorías con objetos subterminales y funtores que los preservan no es accesible . [3]
Referencias
- ^ Pitt, David; Rydeheard, David E.; Johnstone, Peter (12 de septiembre de 1995). Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, Reino Unido, 7-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 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, del 20 al 28 de marzo de 2010, Actas. Springer . ISBN 9783642120329. Recuperado el 18 de febrero de 2017 .
- ^ Barr, Michael; Wells, Charles (septiembre de 1992). "Sobre las limitaciones de los bocetos". Canadian Mathematical Bulletin . 35 (3). Canadian Mathematical Society : 287–294. doi : 10.4153/CMB-1992-040-7 .
Enlaces externos
