Given functors F: A → C and G: B → C, the comma category (F ↓ G) has as objects triples (a, b, f) where a ∈ A, b ∈ B, and f: F(a) → G(b) in C, and morphisms are pairs (h, k): (a,b,f) → (a',b',f') making the evident square commute. Comma categories generalize slice categories (C/X, objects over X) and coslice categories (X/C, objects under X), and provide a uniform language for universal arrows, adjunctions, and elements of representable functors. They are essential for a clean formulation of the Yoneda lemma and adjoint functor theorems.
Start with the slice category C/X (comma category of Id_C ↓ const_X): objects are morphisms A → X in C and morphisms are commutative triangles over X. Verify it is a special case of the comma construction. Then recognize that an initial object in (A ↓ G) is exactly a universal arrow from A to G, recovering the unit of an adjunction.
You know that a functor F: A → C is a structure-preserving map that sends objects and morphisms of A to objects and morphisms of C. A natural question is: what can you build that captures, in a single categorical structure, all the morphisms in C that "go from the image of F to the image of G"? The comma category (F ↓ G) is exactly that structure. Its objects are triples (a, b, f) consisting of an object a ∈ A, an object b ∈ B, and a morphism f: F(a) → G(b) in C — a chosen "bridge" from the F-side to the G-side. A morphism (a,b,f) → (a',b',f') in the comma category is a pair (h: a → a', k: b → b') of morphisms such that the square G(k) ∘ f = f' ∘ F(h) commutes in C. The commutativity condition is what makes these genuine "morphisms of bridges" rather than just pairs of morphisms.
The most important special case is the slice category C/X, which arises when A = C, F = Id_C (the identity functor), B = 1 (the trivial one-object category), and G picks out the object X. An object of C/X is then a pair (A, f: A → X) — an object A together with a chosen morphism into X. A morphism in C/X from (A, f) to (A', f') is a morphism h: A → A' in C such that f' ∘ h = f. You have probably already encountered this idea as "objects equipped with a map to X," which arises naturally when studying bundles, factorizations, and pointed objects. The coslice category X/C is the dual construction, where you study morphisms out of X.
Comma categories are the natural home for universal arrows, a notion that unifies many "best approximation" constructions in mathematics. Given a functor G: D → C and an object c ∈ C, a universal arrow from c to G is an initial object in the comma category (c ↓ G) — a pair (d, f: c → G(d)) such that every other such pair factors uniquely through it. When such initial objects exist for every c ∈ C, the assignments c ↦ d constitute a functor F: C → D, and F is the left adjoint of G. This is why the comma category is a prerequisite for adjoint functors: adjunctions are exactly the situation where comma categories have initial objects varying naturally in c.
The Yoneda lemma also crystallizes through comma categories. An element of the set Nat(よA, F) — a natural transformation from the representable functor Hom(A, −) to F — corresponds precisely to a choice of object in the comma category (A ↓ F), which by Yoneda is just an element of F(A). The comma construction thus provides a uniform language in which representability, universal properties, and adjunctions are all facets of the same organizing idea: studying the category of "maps into or out of a given functor's image."