하위단자 객체
Subterminal object수학의 한 분야인 범주 이론에서, 하위 개체인 C 범주의 X는 C 범주의 모든 물체가 최대 하나의 형태론을 X로 가지고 있는 특성을 가지고 있다.[1]만약 X가 하위 조건이라면, 정체성 형태론의 쌍(1X, 1)은X X와 X의 곱으로 X를 만든다.C가 단자 객체 1을 가지고 있는 경우, 만약 그것이 1의 하위 객체인 경우에만 X 객체가 하위 터미널로, 따라서 이름이 된다.[2]하위 객체와 이를 보존하는 펑터가 있는 범주의 범주에 접근할 수 없다.[3]
참조
- ^ Pitt, David; Rydeheard, David E.; Johnstone, Peter (12 September 1995). Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings. Springer. Retrieved 18 February 2017.
- ^ Ong, Luke (10 March 2010). Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings. Springer. ISBN 9783642120329. Retrieved 18 February 2017.
- ^ Barr, Michael; Wells, Charles (September 1992). "On the limitations of sketches". Canadian Mathematical Bulletin. Canadian Mathematical Society. 35 (3): 287–294. doi:10.4153/CMB-1992-040-7.
