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