Category:圏論
圏論
Category theory
普遍性
Universal property
自己同型
Automorphism
米田の補題
Yoneda lemma
グロタンディーク宇宙
Grothendieck universe
普遍代数学
Universal algebra
群準同型
Group homomorphism
位相の特徴付け
Axiomatic foundations of topological spaces
群の直積
Direct product of groups
完全系列
Exact sequence
Kan拡張
Kan extension
関手
Functor
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
余代数
Coalgebra
F代数
F-algebra
Catamorphism
Catamorphism
点付き集合
Pointed set
前加法圏
Preadditive category
圏同値
Equivalence of categories
可換図式
Commutative diagram
圏論の基礎
Categories for the Working Mathematician
点付き空間
Pointed space
傾理論
Tilting theoryF余代数
F-coalgebraTemplate:圏論
Template:Category theory
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)