• ? math algebra categories monoids are the 'commutative algebras' in sets with direct products — фраза из neverendingbooks по поводу статьи Антона Дейтмара; не могу понять, что имеется в виду
    ♡ recommended by @O01eg

Replies (5)

  • @jtootf, Че-то на ошибку похоже, коммутативность возникает только когда мы вводим моноид в моноидах на...
  • @Kallikanzarid, mathevision.com — в статье речь идёт об абелевых моноидах, так что, скорее всего, ты прав
  • @jtootf, Кстати, абелевы моноиды — интересная вещь :) Рассмотри группу Гротендика абелевого моноида с идемпотентами.
  • @Kallikanzarid, буквально позавчера я думал о чём-то подобном, читая Ленга :)
  • @Kallikanzarid, задумался и понял, что никогда не рассматривал забывающих функторов не на Set (и соответственных сопряжённых)