Category:圏論
関手
Functor
可換図式
Commutative diagram
米田の補題
Yoneda lemma
群の直積
Direct product of groups
オペラド
Operad
始代数
Initial algebra
群準同型
Group homomorphism
Catamorphism
Catamorphism
圏論の基礎
Categories for the Working Mathematician
自己同型
Automorphism
余代数
Coalgebra
F代数
F-algebra
普遍代数学
Universal algebra
コンマ圏
Comma category
傾理論
Tilting theoryF余代数
F-coalgebra
Template:圏論
Template:Category theory
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)