The unit η_A: A → G(FA) of an adjunction F ⊣ G is described as the 'most efficient' or 'universal' way to map A into the image of G. What does this universal property mean precisely?
Aη_A is an isomorphism between A and G(FA), so no information is lost in the mapping
Bη_A is the identity morphism when A already lies in the image of G, requiring no transformation
CAny morphism A → G(B) in C factors uniquely through η_A via the adjunct morphism FA → B corresponding to it under the hom-set bijection
Dη_A is the largest possible morphism from A to G(FA) under the ordering defined by the adjunction
The unit η_A encodes the entire hom-set bijection for A: the bijection Hom_D(FA, B) ≅ Hom_C(A, GB) says that every morphism f: FA → B in D corresponds to a unique g: A → GB in C. That unique g is exactly the composite η_A followed by G(f). In other words, η_A is the 'universal morphism from A to G' — all other ways of mapping A into the image of G factor through it uniquely. This is what makes it 'most efficient': it is the minimal commitment, committing only to the F-structure, from which all other G-valued maps can be obtained.
Question 2 Multiple Choice
In the free-forgetful adjunction (F = free group functor, G = forgetful functor), the counit ε_B: F(G(B)) → B is:
AThe inclusion of the generators of B into the free group on those generators — a copy of B inside F(G(B))
BThe identity morphism on B, since every group is trivially isomorphic to the free group on its own elements
CThe evaluation homomorphism that sends each generator of the free group on G(B) back to the corresponding element in B, collapsing all the 'excess' free structure
DThe forgetful functor applied to the free group F(G(B)), extracting its underlying set
G(B) is the underlying set of B, and F(G(B)) is the free group on that set — which contains B's elements as generators but also contains all formal words (products and inverses) that do not hold in B. The counit ε_B evaluates each generator (= element of B viewed as a generator) to its value in B, and sends every word in F(G(B)) to the corresponding product in B. This is a surjective group homomorphism that 'quotients out' the free structure by all the relations that hold in B. The unit (option A) goes in the opposite direction, embedding generators into F(G(B)).
Question 3 True / False
The triangle identities — (ε_F ∘ F(η)) = id_F and (G(ε) ∘ η_G) = id_G — are non-trivial conditions; not every pair of natural transformations η: Id_C ⇒ GF and ε: FG ⇒ Id_D automatically satisfies them.
TTrue
FFalse
Answer: True
The triangle identities are the coherence conditions that make the unit-counit formulation equivalent to the hom-set bijection formulation of an adjunction. An arbitrary pair of natural transformations η and ε would not in general satisfy them. The identities encode that the two 'detours' (going from F(A) to F(GF(A)) via F(η) and back via ε_FA, and from G(B) to GF(G(B)) via η_GB and back via G(ε_B)) are trivial round trips. This non-triviality is also why the triangle identities become the unit laws of the associated monad — they are substantive axioms, not tautologies.
Question 4 True / False
In an adjunction F ⊣ G, the unit η_A: A → G(FA) is expected to be a monomorphism (injective on points) for the adjunction to be well-defined.
TTrue
FFalse
Answer: False
The adjunction axioms do not require the unit to be a monomorphism. The unit is a monomorphism in many familiar adjunctions (e.g., the free-forgetful adjunction for groups, where η_A injects a set A into the underlying set of the free group as distinct generators), but this is a property of those specific adjunctions, not a requirement for adjunctions in general. Similarly, the counit need not be an epimorphism. The only requirements on the unit and counit are the triangle identities.
Question 5 Short Answer
Explain in words what the unit η_A: A → GF(A) represents conceptually, and describe the universal property that distinguishes it from an arbitrary morphism from A to GF(A).
Think about your answer, then reveal below.
Model answer: The unit η_A represents the 'canonical embedding' of A into the G-world after freely building F-structure: it is the cheapest, most uncommitted way to map A into something of the form GB. Its universal property is that any other morphism g: A → GB factors uniquely through η_A: given g, there is a unique morphism f: FA → B such that g = G(f) ∘ η_A. This means η_A is initial among all morphisms from A to objects in the image of G — every such morphism factors through it, so it encodes all the information about how A can be mapped into G-objects.
Concretely in the free-forgetful example: the unit includes the set A as generators into the free group F(A). The universal property says: give me any function from A to the underlying set of any group B (a set map), and I will give you a unique group homomorphism F(A) → B that extends it. The unit is the bridge between the 'free' world and the 'structured' world. The triangle identities then ensure that the bridge is coherent — round-tripping through the unit and counit returns you to where you started.