Tambara 모듈의 이중 범주 구조

Tambara Equipment

카테고리 이론과 Haskell optics의 관계를 탐구하는 블로그 글입니다. 저자는 Tambara 모듈이 이중 범주(double category)의 수평 화살표로 이해될 수 있으며, 이 구조가 proarrow equipment를 형성한다고 설명합니다. 이는 enriched category에서도 자연스럽게 작동합니다. 또한 자유 Tambara 모듈과 optics의 관계, monoidal action의 내부화(internalization)를 통해 traversal optics를 단순화하는 방법을 Haskell 코드와 함께 보여줍니다.