대칭 피카드 범주 위의 풍부 구조 탐구

이 논문은 2007년 Jibladze와 Pirashvili가 제시한 “범주적 링”(categorical rings)을 2‑링이라 부르며, 이를 바탕으로 2‑모듈과 2‑강화(enrichment)의 기본 개념을 정립한다. 전체 구조는 다음과 같이 전개된다. 1. **예비 지식(Section 2)** - **대칭 피카드 범주(SPC)**: 군형 구조를 가진 대칭 단일 범주이며, 객체들의 역원 \(a^\bullet\)와 동형 \(j_a:I\to a^\bullet\otimes a\)가 존재한다. SPC는 2‑범주이며, 화살표는 대칭 단일 함자, 2‑셀은 단일 자연 변환이다. - **내부 호모와 역원 함자**: SMC에서 내부 호모 \(