2007-02-16 復習 インスティチューション 関手圏によるモデル圏構成、代入系の圏 - 檜山正幸のキマイラ飼育記 メモ編 指標と関手モデル - 檜山正幸のキマイラ飼育記 メモ編 ソートと演算記号の分類 - 檜山正幸のキマイラ飼育記 メモ編 System(Γ, Σ)の具体例:翻訳系 - 檜山正幸のキマイラ飼育記 メモ編 System(Γ, Σ) - 檜山正幸のキマイラ飼育記 メモ編 Pインスティチューション - 檜山正幸のキマイラ飼育記 メモ編