Objeto subterminal

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 todo 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 functores que los preservan no es accesible . ^{[ 3 ]}

• Objeto subterminal en el laboratorio n