Ann‑카테고리의 일관성 정리: 완전한 증명과 구조적 의미
본 논문은 Ann‑카테고리의 일관성 정리를 증명한다. Ann‑카테고리 \(\A=(\A,{\Ah},c,(0,g,d),a,(1,l,r),{\Lh},{\Rh})\) 에서 정의된 모든 동형사상과 두 연산 \(\otimes,\oplus\) 로 구성된 사상은 그 출발점과 도착점만으로 완전히 결정된다. 이를 위해 임의의 Ann‑카테고리를 ‘거의 엄격(quite strict)’인 Ann‑카테고리로 충실히 삽입(embedding)하고, 그 삽입된 구조에서 모든…
저자: Nguyen Tien Quang
본 논문은 Ann‑카테고리(‘Additive and multiplicative’ 카테고리)의 일관성 정리를 체계적으로 증명한다. Ann‑카테고리는 두 개의 이항 연산 \(\otimes\) (곱)와 \(\oplus\) (덧)와 각각에 대한 결합자, 단위 객체, 그리고 교환·분배 제약을 동시에 만족하는 구조로, 기존의 모노이달 혹은 대칭 모노이달 카테고리보다 복잡한 상호작용을 포함한다. 논문은 먼저
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기