Category:圏論
位相の特徴付け
Axiomatic foundations of topological spaces
完全系列
Exact sequence
普遍性
Universal property
群準同型
Group homomorphism
豊穣圏
Enriched category
点付き集合
Pointed set
Catamorphism
Catamorphism
可換図式
Commutative diagram
前加法圏
Preadditive category
点付き空間
Pointed space
Template:圏論
Template:Category theory
F余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
Kan拡張
Kan extension
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
傾理論
Tilting theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
バラエティ (普遍代数学)
Variety (universal algebra)
モナド (プログラミング)
Monad (functional programming)