メモ。 http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?CPL論文。Categorical Programming Language http://www.tom.sfc.keio.ac.jp/~hagino/thesis.pdfCharity。 http://pll.cpsc.ucalgary.ca/charity1/www/home.html論文。About Charity http://citeseerx.is…

概念の整理。0)rigid monoidal category left dualとright dualを持つmonoidal categoryをrigidと呼ぶ #A survey of graphical languages for monoidal categories http://arxiv.org/abs/0908.3347 では、autonomousと呼ばれてるけど、rigidと書いてあること…

http://d.hatena.ne.jp/m-a-o/20090914#p2 の続き。lemma5.7(c)の"algebraic proof"前回の式は間違いがあったので、修正。 一応、これで合ってると思うけど、複雑すぎ。以下のように読むのが「正しそう」(式としては、等価であるはずだけど) 証明をきちんと…