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