법리 이론의 새로운 시각

논문은 먼저 전통적인 Lawvere 이론과 유한 차수 모나드 사이의 동등성을 간략히 리뷰한다. Lawvere 이론은 단일 정렬(single‑sorted)이며, 유한 곱을 보존하는 작은 카테고리 T 로 정의되고, 그 모델은 T → Set 의 곱 보존 함자이다. 이에 대응하는 모나드는 Set 위의 유한 차수(endofunctor)이며, 알제브라가 바로 T‑모델이다. 저자는 이 구조를 세 가지 방향으로 일반화한다. 첫 번째 일반화는 기본 범주 Set 을 다른 적절한 카테고리 K 로 교체하는 것이다. 예를 들어, 그래프 범주 Gph 에서는 내부 카테고리와 같은 구조를 모델링할 수 있다. 이 경우, Lawvere 이론은 여전히 작은 카테고리 T 로서 정의되지만, 모델은 T → K 의 곱 보존 함자가 된다. 그러나 단순히 곱 보존만으로는 카테고리와 같은 구조를 충분히 포착하지 못하므로, arity 로서 K 의 객체 전체를 허용하는 보다 일반적인 이론이 필요하다. 모나드 측면에서는 K 위의 엔도펑터가 필터드(colimit) 혹은 sifted colimit을 보존하도록 요구한다. 두 번째 일반화는 풍부화(enrichment)이다. 대칭 폐쇄 모노이달 카테고리 V 를 선택하고, K 를 V‑카테고리로 만든다. 여기서는 V‑가중 한계와 가중 콜리밋 개념이 핵심이 된다. 특히 “강하게 유한(strongly finite)” 객체는 내부 동형함수가 sifted colimit을 보존하는 특성을 갖는다. 이러한 객체들을 이용해 강하게 유한 한계(strongly finite limits)를 정의하고, 이를 통해 V‑모나드가 sifted colimit을 보존하도록 만든다. 저자는 V‑카테고리 전반에 걸쳐 Φ‑이론과 Φ‑접근 가능한 모나드 사이의 동등성을 증명한다. 세 번째 일반화는 한계 클래스 Φ 를 확장하는 것이다. 기존의 Lawvere 이론은 유한 곱만을 한계로 사용했지만, 내부 카테고리와 같은 구조를 기술하려면 pullback, 전단 사상 등 더 복잡한 한계가 필요하다. 저자는 Φ 를 “강하게 유한 한계”와 같은 중간 클래스까지 확대한다. Φ‑이론은 Φ‑가중 한계를 자유롭게 추가한 작은 카테고리이며, Φ‑접근 가능한 모나드는 그 한계를 보존하는 V‑엔도펑터이다. 논문은 Φ‑접근 가능한 모나드와 Φ‑이론 사이에 정확히 일대일 대응이 있음을 보이며, 이는 전통적인 Lawvere‑Monad 동등성을 Set 이외의 범주에서도 재현한다. 주요 결과로는 다음과 같다. 첫째, Φ‑알제브라적 함자 G∗ : Mod(T) → Mod(S) 에 대해 좌측 사상(left adjoint)이 존재하고, 이를 콜리밋을 이용해 명시적으로 구성한다. 둘째, 모델 범주 Mod(T, K) 가