Category:圏論
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
米田の補題
Yoneda lemma
グロタンディーク位相
Grothendieck topology
傾理論
Tilting theory
Catamorphism
Catamorphism
コンマ圏
Comma category
オペラド
Operad
豊穣圏
Enriched category
Template:圏論
Template:Category theory
F余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
バラエティ (普遍代数学)
Variety (universal algebra)
モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)
圏同値
Equivalence of categories自己準同型環
Endomorphism ring
始代数
Initial algebra