Category:圏論
圏論
Category theory
関手
Functor
グロタンディーク宇宙
Grothendieck universe
完全系列
Exact sequence
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
自己同型
Automorphism
普遍性
Universal property
米田の補題
Yoneda lemma
普遍代数学
Universal algebra
ウィリアム・ローヴェア
William Lawvere
群準同型
Group homomorphism
自然変換
Natural transformation
始代数
Initial algebra
群の直積
Direct product of groups
F余代数
F-coalgebraTemplate:圏論
Template:Category theory
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
傾理論
Tilting theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)