Category:圏論
位相の特徴付け
Axiomatic foundations of topological spaces
グロタンディーク位相
Grothendieck topologyアブストラクト・ナンセンス
Abstract nonsense
普遍代数学
Universal algebra
ウィリアム・ローヴェア
William Lawvere
可換図式
Commutative diagram
群の直積
Direct product of groups
圏論の基礎
Categories for the Working Mathematician
豊穣圏
Enriched category
米田の補題
Yoneda lemma
普遍性
Universal property
群準同型
Group homomorphism
圏同値
Equivalence of categories
関手
Functor
Kan拡張
Kan extension
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
グロタンディーク宇宙
Grothendieck universe
自己同型
Automorphism
完全系列
Exact sequence
圏論
Category theory
