# A group that is also a category

I have a group with a category structure (i.e. category whose objects form a group), such that the left multiplication with any fixed element is a category automorphism. The same is true for right multiplication. Is there a well-known name for that kind of groups? Any references?

If the category can be interpreted as an ordered set, the group is called ordered group. So what is the name of the generalisation to categories?

Note: For those who consider groups as one-object categories: In this setting I'd like to know how a 2-category is called that is a group.

Edit: Clarify group with category structure.

• What does "a group with a category structure" mean? Jul 18 '19 at 19:52
• It sounds like you're taking about something like $G-Set$ for some group $G$. For an arbitrary category $C$, the general setting would be functors $G \to C$ where $G$ is construed as a one-object category whose morphisms are all isos. Jul 18 '19 at 21:40
• I think groupoidal category (the group analogue of monoidal category) is sometimes used, although the "systematic" name for the closest thing that I think exists would probably be something like "group object in the category of categories" (although your assumptions are not quite enough for that) Jul 18 '19 at 21:51
• A "group object in the category of categories" is often called a $cat^1$-group or a strict $2$-group (and it's equivalent to a crossed module). Jul 19 '19 at 6:02
• In the nlab, this sort of structure is also referred to as "groupal categories" or "groupal groupoids" Jul 19 '19 at 8:42

Every monoidal category gives rise to a grouplike monoidal category given by taking the subcategory of invertible objects. A simple example is the category of $$R$$-modules for $$R$$ a commutative ring; taking invertible objects gives the grouplike monoidal category of invertible $$R$$-modules, or line bundles over $$\text{Spec } R$$.
• "Grouplike" is consistent with terminology from homotopy theory (where people talk about e.g. grouplike $E_n$-algebras); other than that it's a matter of personal preference for me, I find it less awkward than "groupal." Sep 13 '19 at 19:00