Corollaryは必然に。

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

圏論

「最大公約数と最小公倍数の分配法則」を図式で証明してみた

この記事は日曜数学 Advent Calendar 2023の9日目の記事です。前回はふくまさんの【代数的トポロジー】「n次元トーラス上のお掃除ロボットと経路計画(path planning)」【LSカテゴリー特別編】でした。師走の時期はトーラスも掃除しないといけないので助かり…

随伴は あらゆるところに 現れる

この記事はCategory Theory Advent Calendar 2018の6日目の記事であることをお知らせします。7日目はmod_poppoさんの「アプリカティブ関手ってなに?モノイド圏との関係は?調べてみました!」です。Φカフェ数学デーで行われている「『ベーシック圏論』をゆ…

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

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