epsilon

落書き

2017-10-25から1日間の記事一覧

maybe monad

ptd objの圏はmaybe monad上の代数のなすEM catであり、このことからmonoidal strが定まるがこれがsmash prodらしい。 smash product in nLab maybe monad in nLab とりあえずbicategoryは射が圏ぐらいの認識で始める。 まずbicategory Kのmonadとはmonoidal…