Adjoints and commutative triangles

I'm working through a proof that specifying a left adjoint for a functor $G: \mathcal{D} \to \mathcal{C}$ is equivalent to specifying, for each object $A \in Ob( \mathcal{C})$, an initial object of $(A \downarrow G)$. Here $(A \downarrow G)$ represents the category whose objects are pairs $(B,f)$ with $B \in Ob(\mathcal{D})$, $f: A \to GB$, and with morphisms $(B,f) \to (B',f')$ the morphisms $g:B \to B'$ for which the $(A,GB,GB')$ triangle with morphisms $f,\,f',\,Gg$ commutes; essentially morphisms are what you'd expect them to be.

Now one direction of the proof starts as follows: Let $F: \mathcal{D} \to \mathcal{C}$ be a left-adjoint for $G$. We will show $(FA,\eta_A)$ is an initial object of $(A\downarrow G)$ (where as always $\eta_A:A \to FGA$). Given an object of $(A \downarrow G)$, say $(B,f)$, the triangle

\begin{array}{cc} \,\,\,\,\,\,\,A \\ \\ \eta_A \downarrow & \,\,\,\,\,\,\,\searrow \,{f} \\ \\ GFA & \xrightarrow{Gh} & GB \end{array}

commutes iff the triangle

\begin{array}{cc} \,\,\,\,\,\,\,FA \\ \\ 1_{FA} \downarrow & \,\,\,\,\,\,\,\searrow \,{\bar{f}} \\ \\ \,\,\,\,\,\,FA & \xrightarrow{h} & B \end{array}

commutes. (Apologies as always for my awful diagrams, I tried to use to figure out how to draw one but couldn't seem to get many of the answers working, if anyone is keen enough to fix them please feel free.)

Here, $\bar{f}$ represents the corresponding map to $f$ under the bijection from the adjunction. However, I don't understand why these two triangles will each commute if the other does: what have we actually done to get from one triangle to another, applied the adjunction? If so, then I don't see why the adjunction should preserve commutativity; it's just a bijection between the maps, and sure it's natural in the objects it maps between but I don't see why that actually implies shared commutative properties between both sides. So, maybe that isn't what we've done to get from one triangle to the other, and there's some other reason why they both share commutativity or non-commutativity, I don't know. I'd be very grateful if someone could enlighten me.

5
2022-07-25 20:41:29
Source Share
Answers: 0