Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-07-31から1日間の記事一覧

モニャドセミナー4

モニャドセミナー4行ってきました。懇親会は体調不良でドタキャンでした*1、すみません。 コモノイド デュアル→射を逆に→2項演算も逆になる(写像にならない)、と端的に捉えて疑問に思ってしまったのですが、要は定義となるモナド風な可換図式*2の矢印を逆に…