generated at
インスティチューション理論
指標と実例
#WIP
指標実例の圏

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