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