Corollaryは必然に。

このブログは「コロちゃんぬ」の提供でお送りします

2018-11-01から1ヶ月間の記事一覧

圏・関手・自然変換 ~ベーシック圏論をゆるく読む会の記録2018~

勤労感謝の日? いいや、圏論関手の日だね! 2018年7月末、Φカフェ数学デーにて「『ベーシック圏論』をゆるく読む会」、通称「ゆる圏↻」が自然に(?)発生しました。今日まで私は概ね参加してきました。私は皆さんの発表を聴くために最低限の予習をしていた…