2015-11-30から1日間の記事一覧

米田の補題のしょうもない使用例

マクレーンを読んでて米田の補題を示したはいいが何やってるか全然わからないし、議論する階層も深すぎて何を扱ってるのかもよくわからなかったのでしょうもない 例を作った。式は だが、右のから何か元をとってきてそこからどんな自然変換ができるかを見て…