1. 개요
뭔가 하나의 대상을 선택했거나 골랐거나 고정한 정보를 가지고 있음을 뜻한다.2. 상세
쉽게 말하면 항상 특정한 뭔가를 찾을 수 있다거나, 그 선택된 정보가 보존된다거나 하는 식이다. 보통 '하나'의 대상을 point할 때 쓰는 말이지만 일반화해서 n개 point하는 경우에도 쓰인다. 프로그래밍에서 직관적인 예시를 들면 1개 point한 다음 모나드로 만들면 maybe monad가 나오고 2개 point하면 either bool monad가 나오는 식.abstract nonsense식 마인드로 일반화를 해보자면 terminal [math(\mathbf 1)]이 있는 범주에서 [math(\mathbf 1 \to \Box)] 꼴의 morphism 그 자체로 볼 수 있다. 정확히는 정의역(domain)이 [math(\mathbf 1)]인 사상이니 범주 [math(C)]에서 모든 pointed-object들의 범주는 coslice category [math(\mathbf 1 / C)]라고 볼 수 있다. 이들 간 사상이 실제로 point 정보를 보존한다는 사실은 coslice triangle이 가환한다는 성질로 인해 자명하다.
대학원 이상에서야 중요해지는 개념들이 늘 그렇지만 적절히 잘 정립된 번역은 없다.
- 점집합(pointed set)
- well-pointed topos, WPT
- pointed category