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

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