Similar to 共変性と反変性_(計算機科学)
図式 (圏論)
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
ジェネリックプログラミング
Generic programming
静的ポリモーフィズム
オブジェクト指向
Object-orientationオブジェクト (プログラミング)
Object (computer science)
オブジェクト指向プログラミング
Object-oriented programming
オブジェクト指向分析設計
Object-oriented analysis and designオブジェクト指向モデリング
Object-oriented modeling
Booch法
Booch method
Common Object Request Broker Architecture
Common Object Request Broker Architecture
Common Lisp Object System
Common Lisp Object System
Component Object Model
Component Object ModelGIOP
General Inter-ORB Protocol
GRASP
GRASP (object-oriented design)