Category:圏論
圏論
Category theory▲1 trends
関手
Functor
自然変換
Natural transformation
米田の補題
Yoneda lemma
Kan拡張
Kan extension
完全系列
Exact sequence
自己同型
Automorphism
群準同型
Group homomorphism
圏論の基礎
Categories for the Working Mathematician
豊穣圏
Enriched category
点付き空間
Pointed space
Catamorphism
Catamorphism
普遍代数学
Universal algebra
圏同値
Equivalence of categoriesアブストラクト・ナンセンス
Abstract nonsense
位相の特徴付け
Axiomatic foundations of topological spaces
ウィリアム・ローヴェア
William LawvereTemplate:圏論
Template:Category theory
F余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Type variance
極限 (圏論)
Limit (category theory)
局所小圏
クローン–ローズの定理
Krohn–Rhodes theory
圏 (数学)
Category (mathematics)降下理論 (圏論)
Density theorem (category theory)
CPL (圏論プログラミング言語)
