2차 범주에서의 아벨리안 개념 정리와 계층 구조

본 논문은 두 차원 범주론에서 “아벨리안 2‑카테고리”를 정의하는 세 가지 접근법—상대적으로 정확한 2‑카테고리, 2‑아벨리안 Gpd‑카테고리, 아벨리안 Gpd‑카테고리—을 비교·통합한다. 정의와 핵심 정리를 대조한 결과, 2‑아벨리안 Gpd‑카테고리는 상대적으로 정확한 2‑카테고리를, 후자는 다시 아벨리안 Gpd‑카테고리를 함축한다는 계층적 관계를 밝힌다. 또한 조건 (LS3+)와 “엄격 기술(strictly describable)” 여부 등…

저자: Hiroyuki Nakaoka