Category:圏論
自然変換
Natural transformationグロタンディーク宇宙
Grothendieck universe圏論
Category theory普遍代数学
Universal algebra関手
Functor群の直積
Direct product of groupsグロタンディーク位相
Grothendieck topology米田の補題
Yoneda lemma完全系列
Exact sequence圏同値
Equivalence of categoriesコンマ圏
Comma categoryアブストラクト・ナンセンス
Abstract nonsense始代数
Initial algebraKan拡張
Kan extension点付き空間
Pointed spaceウィリアム・ローヴェア
William LawvereCatamorphism
Catamorphism傾理論
Tilting theory自己準同型環
Endomorphism ring豊穣圏
Enriched category点付き集合
Pointed setF余代数
F-coalgebraTemplate:圏論
Template:Category theory宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embedding共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)クローン–ローズの定理
Krohn–Rhodes theory