Category:圏論
降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
バラエティ (普遍代数学)
Variety (universal algebra)
モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)
余代数
Coalgebra
オペラド
Operad
点付き集合
Pointed set
米田の補題
Yoneda lemma
始代数
Initial algebra
群準同型
Group homomorphism
傾理論
Tilting theory
完全系列
Exact sequence
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
群の直積
Direct product of groups
豊穣圏
Enriched category
自己同型
Automorphism