Similar to CPL_(圏論プログラミング言語)
自然変換
Natural transformation
始代数
Initial algebra
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
前加法圏
Preadditive category
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
点付き空間
Pointed space
点付き集合
Pointed set
バラエティ (普遍代数学)
Variety (universal algebra)
普遍性
Universal property普遍代数学
Universal algebra
豊穣圏
Enriched category
モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)
余代数
Coalgebra
米田の補題
Yoneda lemma
ウィリアム・ローヴェア
William Lawvere
プログラミング言語
Programming language
プログラミング言語一覧
List of programming languages
プログラミング言語年表
History of programming languages
プログラミング言語の比較
Comparison of programming languages
A-0 System
A-0 SystemABC (プログラミング言語)
ABC (programming language)ALGOL
ALGOL
Alloy (仕様記述言語)
Altair BASIC
Altair BASIC
APL
APL (programming language)
