generated at
Lawvere理論
Francis William Lawvereの博士論文
Lawvere理論の圏と集合の圏Set上の有限的モナドの圏は圏同値になる
有限的なモナド
モナドの関手がフィルター余極限を保つもの
『Handbook of Categorical Algebra: Volume 2』
https://bartoszmilewski.com/2017/08/26/lawvere-theories/
継続