Жақсы көрсетілген категория - Well-pointed category - Wikipedia

Жылы категория теориясы, санаты бар терминал нысаны ${ displaystyle 1}$ болып табылады жақсы көрсетілген егер әр жебе үшін болса ${ displaystyle f, g: A to B}$ осындай ${ displaystyle f neq g}$, көрсеткі бар ${ displaystyle p: 1 дейін A}$ осындай ${ displaystyle f circ p neq g circ p}$. (Көрсеткілер ${ displaystyle p}$ деп аталады жаһандық элементтер немесе ұпай санат; дәл көрсетілген категория - бұл тең емес көрсеткілерді ажырату үшін «жеткілікті ұпайлары».)

Сондай-ақ қараңыз

• Көрсетілген санат

Әдебиеттер тізімі

• Питтс, Эндрю М. (2013). Номиналды жиындар: Информатикадағы атаулар мен симметрия. Теориялық компьютерлік ғылымдағы Кембридж трактаттары. 57. Кембридж университетінің баспасы. б. 16. ISBN  1107017785.

Бұл категория теориясы - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.