Recall that a *group* is an associative, unital monoid $G$ such that the map $(p\_1,m) : G \times G \to G\times G$ is an isomorphism of sets. Here $p\_1$ is the first projection and $m$ is the multiplication, so the map is $(g\_1,g\_2) \mapsto (g\_1,g\_1g\_2)$.


My question is a basic one concerning the definition of "2-group".


Recall that a *monoidal category* is a category $\mathcal G$ along with a functors $m : \mathcal G \times \mathcal G \to \mathcal G$ and $e: 1 \to \mathcal G$, where $1$ is the category with one object and only identity morphisms, such that certain diagrams commute up to natural isomorphism and those natural isomorphisms satisfy some axioms of their own (the natural isomorphisms are part of the data of the monoidal category).


Then a *2-group* is a monoidal category $\mathcal G$ such that the functor $(p\_1,m): \mathcal G \times \mathcal G \to \mathcal G \times \mathcal G$ is an equivalence of categories. I.e. there exists a functor $b: \mathcal G \times \mathcal G \to \mathcal G \times \mathcal G$ such that $b\circ (p\_1,m)$ and $(p\_1,m) \circ b$ are naturally isomorphic to the identity. Note that $b$ is determined only up to natural isomorphism of functors.



> 
> **Question:** Can I necessarily find such a functor $b$ of the form $b = (p\_1,d)$, where $d : \mathcal G \times \mathcal G \to \mathcal G $ is some functor (called $d$ for "division")? If so, can I necessarily find $d = m\circ(i \times \text{id})$, where $i: \mathcal G \to \mathcal G$ is some functor (called $i$ for "inverse")?
> 
> 
> 


In any case, the natural follow-up question is to ask all these at the level of 3-groups, etc.



How strict can I be in the definition of "2-group"?
You can always do this. Take any $b$ and define $d = p\_2 b$. Then $b' = (p\_1, d)$ is equivalent to the original $b$. To see this note that 


$$(p\_1, m) \circ b = (p\_1b, m \circ (p\_1 b, d)) \simeq id = (p\_1, p\_2) $$


The first component shows $p\_1 b \simeq p\_1$. We use this transformation $\times id$ to show that 
$b \simeq b' = (p\_1, d)$. 


Now we consider the equivalence $(p\_1, m) \circ b' \simeq id$. Here we have,


$$(p\_1, m) \circ (p\_1, d) = (p\_1, m \circ (p\_1, d)) \simeq id = (p\_1, p\_2) $$


restricting to $G = G \times \{ 1\} \subseteq G \times G$, this gives a natural isomorphism $m(x, d(x, 1)) \simeq 1$. You can take $i(x) = d(x,1)$, and we have $x i(x) \cong 1$.


We also have 


$$(p\_1, d) \circ (p\_1, m) = (p\_1, d \circ (p\_1, m)) \simeq (p\_1, p\_2) $$


which gives a natural isomorphism, $ d(x, xy) \simeq y$ (writing $m(x,y) = xy$).
Thus we have,


$$d(x,y) \simeq d(x,1 y) \simeq d(x, x i(x) y) \simeq i(x) y, $$


which is the formula you were after. So we can replace $d(x,y)$ with $m(i(x), y)$ to get a third inverse functor b''. Note that this doesn't mean that we have a strict 2-group, just that we can define the inverse functors and difference functors you asked about.


Notice also that we didn't really use anything about G being a 1-category as opposed to an n-category (except the associator and unitors) so this argument generalizes to the n-group setting basically verbatim. 


