モニャドセミナー4行ってきました。懇親会は体調不良でドタキャンでした*1、すみません。 コモノイド デュアル→射を逆に→2項演算も逆になる(写像にならない)、と端的に捉えて疑問に思ってしまったのですが、要は定義となるモナド風な可換図式*2の矢印を逆に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。