Similar to 共変性と反変性_(計算機科学)
アブストラクト・ナンセンス
Abstract nonsense
位相の特徴付け
Axiomatic foundations of topological spaces
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
オペラド
Operad
可換図式
Commutative diagram
Kan拡張
Kan extension
関手
Functor
完全系列
Exact sequence
極限 (圏論)
Limit (category theory)
局所小圏
クローン–ローズの定理
Krohn–Rhodes theory
グロタンディーク位相
Grothendieck topology
グロタンディーク宇宙
Grothendieck universe
群準同型
Group homomorphism
群の直積
Direct product of groups
傾理論
Tilting theory
圏 (数学)
Category (mathematics)
圏同値
Equivalence of categories
圏論の基礎
Categories for the Working Mathematician
降下理論 (圏論)
Density theorem (category theory)
コンマ圏
Comma category
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
CPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring
自己同型
Automorphism
自然変換
Natural transformation射 (圏論)
Morphism
