프레이드 커버

범주 이론의 수학적 규율에서 프레이드 커버 또는 스콘 카테고리는 주어진 범주에서 세트와 같은 구조를 산출하는 구조다.유일한 요건은 원래 범주에 터미널 객체가 있다는 것이다.스콘 카테고리는 원래 카테고리가 가진 거의 모든 범주형 구조를 상속한다.스콘은 일반적으로 논리적 관계를 사용하는 증거를 묘사하는 데 사용될 수 있다.

정의

형식적으로, 단자 객체 1이 있는 범주 C의 스콘은 콤마 카테고리 $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ ( $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ , $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ - $1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)$ ) ${\displaystyle 1_{\text{$ $Set}}\downarrow \operatorname {Hom} _{C}(1,-)}$ ^[1].

참조

^ 자유형 커버(nLab)

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

[1] 자유형 커버(nLab)

[1]

Search

프레이드 커버

네임스페이스

더

정의

참조