2링
2-ring수학에서, 범주환이란 대략 덧셈과 곱셈을 갖춘 범주이다.즉, 링의 기초 세트를 카테고리로 치환하는 것으로, 카테고리 링을 얻을 수 있다.예를 들어, 고리 R이 주어졌을 때, C는 집합 R의 요소가 객체이고, 그 모피즘이 동일 모피즘일 뿐인 범주라고 하자.그러면 C는 범주형 고리입니다.그러나 중요한 것은 R의 요소가 "비중요한 자기동형"(cf)을 수반하는 상황도 고려할 수 있다는 것이다.루리).
이 링의 일반화 행은 결국 E링의n 개념으로 이어집니다.
「 」를 참조해 주세요.
레퍼런스
- 라플라자, M. 분배를 위한 일관성범주의 일관성, 29-65수학 281 강의 노트, Springer-Verlag, 1972.
- 루리, J. 유도 대수 기하학 V: 구조화된 공간