광범주
Extensive category수학에서 광범위한 범주는 풀백에 관해서 분리되고 잘 행동한 유한한 합성을 가진 범주 C이다.마찬가지로, C는 절편 범주 C/X × C/Y에서 절편 범주 C/(X + Y)까지의 곱에서 C의 모든 객체 X와 Y에 대한 범주의 등가라면 광범위하다.[1]
예
각각 집합의 집합과 상위 범주와 위상 공간 범주는 광범위한 범주다.[2]더 일반적으로, 작은 범주에 대한 사전 예습의 범주는 광범위하다.[2]
진술 체계의 범주 CRING은op 광범위하다.
참조
- ^ Carboni, Aurelio; Lack, Stephen; Walters, R.F.C. (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.
- ^ a b Pedicchio, Maria Cristina; Tholen, Walter (2004). Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory. Cambridge University Press. ISBN 978-0-521-83414-8. Retrieved 4 April 2018.
외부 링크
