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 como máximo un morfismo en X. [1] Si X es subterminal, entonces el par de morfismos de 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 sólo si es un subobjeto de 1, de ahí el nombre. [2] No se puede acceder a la categoría de categorías con objetos subterminales y funtores que los conservan . [3]
Referencias
- ^ Pitt, David; Rydeheard, David E.; Johnstone, Peter (12 de septiembre de 1995). Categoría Teoría e Informática: Sexta Conferencia Internacional, CTCS '95, Cambridge, Reino Unido, 7 al 11 de agosto de 1995. Actas. Saltador . 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, 20 al 28 de marzo de 2010, Actas. Saltador . ISBN 9783642120329. Consultado el 18 de febrero de 2017 .
- ^ Barr, Michael; Wells, Charles (septiembre de 1992). "Sobre las limitaciones de los bocetos". Boletín de Matemáticas Canadiense . 35 (3). Sociedad Canadiense de Matemáticas : 287–294. doi : 10.4153/CMB-1992-040-7 .
Enlaces externos
- Objeto subterminal en el n Lab
