Dobře zaměřená kategorie - Well-pointed category - Wikipedia

v teorie kategorií, kategorie s a koncový objekt ${ displaystyle 1}$ je dobře ukázal pokud pro každý pár šípů ${ displaystyle f, g: A až B}$ takhle ${ Displaystyle f neq g}$, je šipka ${ displaystyle p: 1 do A}$ takhle ${ Displaystyle f circ p neq g circ p}$. (Šipky ${ displaystyle p}$ se nazývají globální prvky nebo bodů kategorie; dobře zaměřená kategorie je tedy kategorie, která má „dostatek bodů“ k rozlišení nerovných šipek.)

Viz také

• Špičatá kategorie

Reference

• Pitts, Andrew M. (2013). Nominal Sets: Names and Symetry in Computer Science. Cambridge Tracts v teoretické informatice. 57. Cambridge University Press. p. 16. ISBN  1107017785.

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.