Similar to オペラド
コンマ圏
Comma category
ザイフェルト–ファン・カンペンの定理
Seifert–Van Kampen theorem
CPL (圏論プログラミング言語)
自己準同型環
Endomorphism ring
自己同型
Automorphism
自然変換
Natural transformation
始代数
Initial algebra
射 (圏論)
Morphism図式 (圏論)
Diagram (category theory)
前加法圏
Preadditive category
双対 (圏論)
Dual (category theory)
束 (位相幾何学)
Bundle (mathematics)
点付き空間
Pointed space
点付き集合
Pointed set
普遍性
Universal property
普遍代数学
Universal algebra
豊穣圏
Enriched category
モナド (プログラミング)
Monad (functional programming)モナド (圏論)
Monad (category theory)
余代数
Coalgebra
米田の補題
Yoneda lemma
ウィリアム・ローヴェア
William Lawvere
(19308) 1996 TO66
(19308) 1996 TO66
アリ×アリ
FNSソフト工場
火曜イチバン!
火曜時代劇 (フジテレビ)
金☆パラ