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