Similar to モナド_(プログラミング)
点付き集合
Pointed set
バラエティ (普遍代数学)
Variety (universal algebra)
普遍性
Universal property普遍代数学
Universal algebra
豊穣圏
Enriched category
モナド (圏論)
Monad (category theory)
余代数
Coalgebra
米田の補題
Yoneda lemma
ウィリアム・ローヴェア
William Lawvere
Available on 
JapaneseClass.jp
Forgot password