Category:圏論
完全系列
Exact sequence
米田の補題
Yoneda lemma
Kan拡張
Kan extension
普遍代数学
Universal algebra
コンマ圏
Comma category
豊穣圏
Enriched category
自己同型
Automorphismアブストラクト・ナンセンス
Abstract nonsense
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
Catamorphism
Catamorphism
点付き空間
Pointed space
ウィリアム・ローヴェア
William Lawvere
点付き集合
Pointed set
傾理論
Tilting theory
F余代数
F-coalgebra
Template:圏論
Template:Category theory
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
グロタンディーク宇宙
Grothendieck universe
群準同型
Group homomorphism
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
