Category:圏論
圏論
Category theory
グロタンディーク宇宙
Grothendieck universe
群の直積
Direct product of groups
グロタンディーク位相
Grothendieck topology自己準同型環
Endomorphism ring
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
普遍性
Universal property
Catamorphism
Catamorphism
圏同値
Equivalence of categories
ウィリアム・ローヴェア
William Lawvere
F代数
F-algebra
米田の補題
Yoneda lemma
関手
Functor
前加法圏
Preadditive categoryTemplate:圏論
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)