잘 지적된 범주

범주$$ 이론에서, 모든 $화살표{\displaystyle }$ $쌍$에 $대해,$ f ,${\displaystyle g}$: ${\displaystyle A}$→ B ${\displaystyle f,g:$$A\to B}$ such that ${\displaystyle f\neq g}$, there is an arrow ${\displaystyle p:1\to A}$ such that ${\displaystyle f\circ p\neq g\circ p}$. (The arrows ${\displaystyle p}$ are called the global elements or points of the category; a well-pointed category is thus one that has "enough points"비파형 화살표를 구별한다.)

참고 항목

• 점분류

참조

• Pitts, Andrew M. (2013). Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science. Vol. 57. Cambridge University Press. p. 16. ISBN 1107017785.

이 범주 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t