Category:圏論
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem米田の補題
Yoneda lemmaグロタンディーク位相
Grothendieck topology傾理論
Tilting theoryCatamorphism
Catamorphismコンマ圏
Comma categoryオペラド
Operad豊穣圏
Enriched categoryTemplate:圏論
Template:Category theoryF余代数
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