インスティチューション理論
指標と実例
#WIP
指標実例の圏
Ref.icon Institutions
Joseph A. Goguen
Data, Schema, Ontology, and Logic Integration
Information Integration in Institutions
Ref.icon インスティチューションと Categories-as-Types - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon インスティチューションと型階層 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon インスティチューションと忘却関手 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon 等式的関手インスティチューションの作り方： 悩みどころ - 檜山正幸のキマイラ飼育記 (はてなBlog)