はてなブックマーク - Graphs are to categories as lists are to monoids

はてなブックマーク - Graphs are to categories as lists are to monoids https://b.hatena.ne.jp/entry/s/alhassy.github.io/PathCat/ Graphs are to categories as lists are to monoids ( see the source ) We do not want the MathJax declarations to use vertical whitespace; so we do not display their residual whitespace. Moreover the ... u_wot_m8 https://b.hatena.ne.jp/u_wot_m8/20190101#bookmark-4662357694827063713 2019-01-01T07:39:44Z 圏論 Monoid xef https://b.hatena.ne.jp/xef/20181228#bookmark-4662357694827063713 2018-12-28T09:35:53Z Agda CategoryTheory