OEISの未解決問題（？）を証明しました

「数学デー」公式Twitterでは、その場で出た話題の写真を見ることはできますが、それに辿り着いたプロセスや証明などはその場でしか聞けません（ていうか、そういう話を聞いたり喋ったりするのが数学デー）。「証明は滅びぬ、何度でもよみがえるさ」とは言う…

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

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