Category:圏論
圏論
Category theory
関手
Functor
グロタンディーク宇宙
Grothendieck universe
米田の補題
Yoneda lemma
完全系列
Exact sequence
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
自己同型
Automorphism
自然変換
Natural transformation
普遍性
Universal property
群準同型
Group homomorphism
豊穣圏
Enriched category
Kan拡張
Kan extension
可換図式
Commutative diagram
始代数
Initial algebra
普遍代数学
Universal algebra
コンマ圏
Comma category
グロタンディーク位相
Grothendieck topology
ウィリアム・ローヴェア
William Lawvere
F代数
F-algebra
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)