モナド達の上のモナド： ストリート・モナド モナド論をヒントに圏論をする（弱2-圏の割と詳しい説明付き） https://m-hiyama.hatenablog.com/entry/20170111/1484122584 Title: Composing PROPs Author: Stephen Lack Pages: 18p URL: http://www.tac.mta.c…