この記事、類義語と標準用語 - (新) 檜山正幸のキマイラ飼育記 メモ編に関係している。セオリー論については： 高次圏： セオリーと指数関手タワー - 檜山正幸のキマイラ飼育記 (はてなBlog) セオリー論 カテゴリーの記事一覧 - (保存用) 檜山正幸のキマイラ…

車輪の同時発明／再発明 目眩がする - (新) 檜山正幸のキマイラ飼育記 メモ編の続きほぼ同義語： 指標 型クラス インターフェイス スキーマ 型コンテキスト 仕様 公理系 セオリー・インターフェイス 構造体型 （OBJ系）モジュール 型コンテキスト コンセプト…