始代数と終余代数が一致する条件
Posted on 月 16 12月 2019 in 数学 • Tagged with 圏論, cpo, F-algebra
http://ziphil.com/diary/application/26.html を読んでるとき,まとめたことを記事として残しておこうと思った.
参考文献は,
Barr, M. (1992). Algebraically compact functors. Journal of Pure …
Continue reading
Posted on 月 16 12月 2019 in 数学 • Tagged with 圏論, cpo, F-algebra
http://ziphil.com/diary/application/26.html を読んでるとき,まとめたことを記事として残しておこうと思った.
参考文献は,
Barr, M. (1992). Algebraically compact functors. Journal of Pure …