Category:圏論
圏論
Category theory
米田の補題
Yoneda lemma
関手
Functor
自然変換
Natural transformation
豊穣圏
Enriched category
普遍性
Universal property
可換図式
Commutative diagram
Kan拡張
Kan extension
グロタンディーク宇宙
Grothendieck universeアブストラクト・ナンセンス
Abstract nonsense
コンマ圏
Comma category
余代数
Coalgebra
普遍代数学
Universal algebra
圏論の基礎
Categories for the Working Mathematician
位相の特徴付け
Axiomatic foundations of topological spaces
点付き空間
Pointed space
Catamorphism
Catamorphism
前加法圏
Preadditive category
ウィリアム・ローヴェア
William LawvereTemplate:圏論
Template:Category theoryF余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
