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