호프 모노이달 코모나드와 자가폐쇄 구조의 상승

초록

본 논문은 자율 모노이달 2-범주 내에서 오프모노이달 모나드의 에밈-모이어 대수에 대한 폐쇄 구조 상승을 일반화한다. 이를 통해 양자 범주와 바이알레브라드에 적용 가능한 새로운 호프 코모나드 이론을 제시한다.

상세 분석

논문은 먼저 기존의 알랭 브뤼기에와 알렉시스 비렐리제가 제시한 “닫힌 구조의 상승” 결과를 검토한다. 그들은 모노이달 범주 𝒞 에 대한 오프모노이달 모나드 T 가 주어질 때, 𝒞의 폐쇄(자기 내적) 구조가 Eilenberg‑Moore 대수 범주 𝒞^T 에 자연스럽게 승격될 수 있는 충분조건을 제시하였다. 이때 핵심은 T 가 “강한” 오프모노이달 구조를 가져야 하며, 그 강도는 모노이달 곱과 내부 함자 사이의 교환 법칙을 보존하는 형태로 정의된다.

본 연구는 이러한 결과를 1‑차원 범주가 아닌, 자율(autonomous) 모노이달 2‑범주 𝔅 내로 확장한다. 2‑범주에서는 객체, 1‑셀(모노이달 구조를 보유한 1‑사상), 그리고 2‑셀(자연 변환)까지 고려해야 하므로, “오프모노이달 모나드”의 정의가 복잡해진다. 저자들은 먼저 𝔅 의 자율성(모든 객체가 좌·우 이중역함자를 갖는 성질)을 이용해, 각 객체 X 에 대한 내부 함자