Category:圏論
圏論
Category theory
関手
Functor
普遍性
Universal property
Kan拡張
Kan extension
自然変換
Natural transformation
位相の特徴付け
Axiomatic foundations of topological spacesアブストラクト・ナンセンス
Abstract nonsense
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
普遍代数学
Universal algebra
自己同型
Automorphism
コンマ圏
Comma category
米田の補題
Yoneda lemma
Catamorphism
Catamorphism
前加法圏
Preadditive category自己準同型環
Endomorphism ring
ウィリアム・ローヴェア
William Lawvere
圏論の基礎
Categories for the Working Mathematician
点付き空間
Pointed space
F代数
F-algebra
グロタンディーク宇宙
Grothendieck universeTemplate:圏論
Template:Category theory
F余代数
F-coalgebra
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
クローン–ローズの定理
Krohn–Rhodes theory
グロタンディーク位相
Grothendieck topology
