Bart JacobsのJacobsの発音だけど： オランダ語 https://ja.forvo.com/search/Jacobs/nl/ 英語 https://ja.forvo.com/search/Jacobs/en/ オランダ語だと「ヤコブス」、英語だと「ジェイコブス」。Bart Jacobsはオランダの人だから、ヤコブスと呼ぶほうがいい…

Cは一般的なモノイド圏、X = (X, δ, ε)がC内の余モノイド（余モノイド構造、余モノイド対象）のとき、Xのスタンピング関手（域側に掛け算する）から余モナドが定義できる。 上記の余モナドの余クライスリ圏を作れる。これは一般的な構成。 余モナドがテンソ…