엄격한 초기 객체
Strict initial object범주 이론의 수학적 규율에서, 엄격한 초기 물체는 C 범주의 초기 물체 0이며, 코도메인 0이 있는 C의 모든 형태론은 이형성이다.데카르트 폐쇄 범주에서 모든 초기 개체는 엄격하다.[1]또한 C가 분배적 또는 광범위한 범주라면 C의 초기 개체 0은 엄격하다.[2]
참조
- ^ McLarty, Colin (4 June 1992). Elementary Categories, Elementary Toposes. Clarendon Press. ISBN 0191589497. Retrieved 13 February 2017.
- ^ Carboni, Aurelio; Lack, Stephen; Walters, R.F.C. (3 February 1993). "Introduction to extensive and distributive categories". Journal of Pure and Applied Algebra. 84 (2): 145–158. doi:10.1016/0022-4049(93)90035-R.
