You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Relaying here a question I asked on MO, since maybe it's also of interest here:
The topic of this question is a little elementary, but it's something that I'm finding surprisingly hard to find good references about.
A while ago I was collecting examples of Picard and Brauer 2-groups of monoidal categories, and decided to try computing these for some categories.
- The first category I looked at was the category of -sets for a group (or monoid) together with the Cartesian product.
- Then, there was the category of -sets with the balanced tensor product .
- A different and similarly interesting category was , the category of complex representations of a group , equipped with either the usual tensor product or the -tensor product, given by .
Monoids in each of these categories seemed interesting:
- Monoids in with are -sets that are also monoids and we have .
- Monoids in with are -sets that are also monoids and satisfy .
- Monoids in are representations of together with a product on making it into a complex algebra and such that .
- Monoids in with are similar, but satisfy instead.
Question. Are there references carrying a detailed study of the notions described above?
The third notion is the only one for which I was able to find satisfactory references, like this one or this one. Meanwhile, I've had a hard time finding anything written about the rest. Bourbaki's groups with operators come close to the first notion above, but are still a bit different.
If I was going to try to find sources for this, the first places I would look would be:
I don't know, but that's just where I would look.
Monoids in would usually be called "actions of on monoids" or "-equivariant monoids" or simply "-monoids".
I went to MathSciNet and typed in "equivariant monoids" and got references to two papers. Here is one:
I'm afraid he's using "categorifying" in the sloppy sense of "throwing categories at" rather than "boosting up by replacing sets with categories". But that's okay for what Emily wants.
At first I hoped this paper would have many useful references, since the first sentence in the abstract is
Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action.
However, it seems a bit thin on concrete examples, e.g. one of the "examples" is monoids in , which people would call "-equivariant algebras" or simply "-algebras". It has one reference to work on these, but there must actually be dozens.
For example if you gave me a group I could really sink my teeth into, like or , I could tell you shitloads of stuff about -algebras.
The second paper seems of dubious relevance so I won't go into it.
Thanks Joe and John! Searching for "equivariant groups" led me to this nLab page and this book, which have the following proposition (here restated for monoids):
Let be a monoid. There is a fully faithful functor
from the category of monoids in with respect to the Cartesian product [notion 1 above] to the category of monoids over .
The functor is given by sending a left -set to the pair with the semidirect product monoid of and the canonical projection.
I think with this the only notion that remains a bit mysterious to me is that of monoids in with respect to the balanced tensor product, where we have a condition of the form . Maybe there's also a rephrasing of it in terms of more commonly used notions...
In the last equation are you using to mean elements of and to mean an element of the -set?
I haven't thought about monoids in -sets. I've thought about -bitorsors: a -bitorsor is a set which is both a left and right [[torsor]] for a group in a way obeying the equation you just wrote down.
I've been a bit careless with writing the conditions down --- sorry for the confusion!
What I mean is this: for a monoid, a monoid in with respect to the balanced tensor product is a set with left and right actions
of along with a monoid structure on such that we have
for each and each . In addition, the multiplication map should also be equivariant, so we should also have
for each and each (I missed these conditions earlier).
I think I got it! -sets are the same as profunctors on the one-object category associated to , and in this case the balanced tensor product corresponds to profunctor composition, so these are the same as promonads on , i.e. identity on objects functors from that one-object category to another category. So we are looking at maps of monoids . This gives an equivalence of categories
surprisingly enough.
Emily (she/her) said:
I think I got it! -sets are the same as profunctors on the one-object category associated to , and in this case the balanced tensor product corresponds to profunctor composition, so these are the same as promonads on , i.e. identity on objects functors from that one-object category to another category.
I hope "these" means not "-sets" but "monoids internal to -sets". (As a pedant, I hate pronouns whose antecedents are unclear to me.) I believe from what you said that
Does that sound right?
If so, cool! I hadn't known that promonads on a category are the same as identity-on-objects functors from that category to some other, but after a few minutes that's obvious too. Cool!
I hope "these" means not "-sets" but "monoids internal to -sets". (As a pedant, I hate pronouns whose antecedents are unclear to me.) I believe from what you said that
Yep! (And you're absolutely right — I'll be careful to avoid this issue in my future writing!)
Does that sound right?
Yep!
By the way, later yesterday I was talking about this result with a friend and colleague (Violeta Martins de Freitas) and she mentioned something that made this result much more clear to me: this is the -set version of the bijection between -algebras viewed as monoids in -modules vs. as rings with a map
Great! Once I mentally process your chain of reasoning, it becomes "visually obvious in examples" that a monoid in -sets is an identity-on-objects functor from to some other category. So this is really beautiful.
And note that there's an even simpler name for an "identity-on-objects functor from to some other category". It's a monoid homomorphism from to some other monoid! Oh, you already said that. :sweat_smile:
And note that there's an even simpler name for an "identity-on-objects functor from to some other category". It's a monoid homomorphism from to some other monoid!
Yep, exactly!
I also find it funny that the reason I figured this was by thinking about promonads — usually it'd be the other way around, like trying to come up with examples of promonads and figuring what they in the case of one-object categories
Oh, you already said that. :sweat_smile:
To be fair I do find it a cool enough realization for it to be worth to be said twice! :)