Categoría bien definida

En la teoría de categorías , una categoría con un objeto terminal${\displaystyle 1}$está bien apuntado si por cada par de flechas${\displaystyle f,g:A\to B}$de tal manera que${\displaystyle f\neq g}$, hay una flecha${\displaystyle p:1\to A}$de tal manera que${\displaystyle f\circ p\neq g\circ p}$. (Las flechas${\displaystyle p}$Se denominan elementos o puntos globales de la categoría; una categoría bien definida es, por lo tanto, aquella que tiene "suficientes puntos" para distinguir flechas desiguales.

• Categoría puntiaguda

• Pitts, Andrew M. (2013). Conjuntos nominales: nombres y simetría en informática . Cambridge Tracts in Theoretical Computer Science. Vol.  57. Cambridge University Press . p.  16. ISBN 978-1107017788.