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