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