等式的函手インスティチューション
インスティチューションの構成例
Ref.icon 等式的関手インスティチューション（概要） - 檜山正幸のキマイラ飼育記 (はてなBlog)
ref.icon Information Integration in Institutions