I'm reading the nlab entry on torsors and am struggling to show the two definitions below are equivalent using only universal properties. All torsors in question are over a point.
Definition 1. A $G$-torsor is a $G$-action $\varphi:G\curvearrowright X$ which is isomorphic as an action to multiplication $m:G\curvearrowright G$.
Definition 2. A $G$-torsor is a $G$-action $\varphi:G\curvearrowright X$ such that $X$ admits a global point $x:\mathbf 1\to X$ and the arrow $(\varphi,\pi_2):G\times X\to X\times X$ is an isomorphism.
Given the first definition I thought of showing that $(m,\pi_2):G\times G\to G\times G$ is an isomorphism iff $(\varphi,\pi_2):G\times X\to X\times X$ is an isomorphism, since the latter is always an iso, but I don't know how to show this.
For the converse, for instance here, the nlab assumes the second definition and says the following square is a pullback, but I don't understand why. The "elements" of the pullback are triples $(g,x,y)$ such that $gx=y$ and saying this is the same as giving $G$ seems to assume we're already dealing with a $G$-torsor. $$\require{AMScd} \begin{CD} G\times \mathbf 1 @>{1\times x}>> G\times X\\ @VVV @VV{(\varphi,\pi_2)}V\\ X\times \mathbf 1 @>>{1\times x}> X\times X \end{CD}$$
I did not check everything properly, so I hope nothing is wrong in the following. I will head back here tonight if time permits to be a little more precise.
Defn 1 $\implies$ Defn 2. Call $f$ the iso $G \to X$; show that indeed $(m,\pi_2)$ is an iso and that there is a global element in $G$ (namely its unit); post/pre-compose by $f$ and $f^{-1}$ to get back the same properties on $X$ and $\varphi$.
Defn 2 $\implies$ Defn 1. Try defining $f : G \to X$ as the composite $$ G \simeq G \times 1 \stackrel{{\rm id}\times x} \to G\times X \stackrel \varphi \to X $$ and show it has the following as inverse: $$ X \simeq X \times 1 \stackrel{{\rm id}\times x} \to X\times X \stackrel {(\varphi,\pi_2)^{-1}} \to G \times X \stackrel {\pi_1} \to G $$