Category:圏論
グロタンディーク宇宙
Grothendieck universe
米田の補題
Yoneda lemma
普遍性
Universal property
可換図式
Commutative diagram
グロタンディーク位相
Grothendieck topology
普遍代数学
Universal algebra
完全系列
Exact sequence
自己同型
Automorphism
余代数
Coalgebra
群準同型
Group homomorphism
コンマ圏
Comma category
自然変換
Natural transformation
群の直積
Direct product of groups
Catamorphism
Catamorphism
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
局所小圏
自己準同型環
Endomorphism ring
Template:圏論
Template:Category theoryF余代数
F-coalgebra
位相の特徴付け
Axiomatic foundations of topological spaces
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Type variance
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)