C-システム
#Fleeting_Notes
C-システム(C-system)
ヴォエヴォドスキー
のC-システム
属性付き圏
＋ カートメルツリー構造
確認用
Q. C-システム
関連
インスティテューション理論
カートメルツリー構造
分裂ディスプレイクラス
カートメルのコンテキスト圏
包括圏
メモ
Institutions
Goguen, Joseph A., Burstall, Rod M.
Institutions: Abstract Model Theory for Specification and Programming
. 1992-01-02.
C-システム、分裂ディスプレイクラス、カートメルツリー構造 - 檜山正幸のキマイラ飼育記 (はてなBlog)
カートメルのコンテキスト圏〈contextual category〉
ダラッっと依存型理論・インスティチューション - 檜山正幸のキマイラ飼育記 (はてなBlog)
調査用
Google.icon
C-システム(日)
Google.icon
C-システム 圏論(日)
Google.icon
C-system(英)
Google.icon
C-system category theory(英)
Wikipedia.icon
C-システム - Wikipedia(日)
C-システム(検索) - Wikipedia(日)
Wikipedia.icon
C-system - Wikipedia(英)
C-system(検索) - Wikipedia(英)