7
$\begingroup$

Suppose that $U:D\to C$ is a functor and $X$ is an object of $C$. In defining Universal property, Wikipedia writes about terminal objects in $(U\downarrow X)$ and initial objects in the category $(X\downarrow U)$. The images below appear to illustrate the idea.

enter image description here$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~$enter image description here

I'm wondering why I've never encountered discussion of terminal objects in $(X\downarrow U)$ or initial objects in $(U\downarrow X)$? Are these objects simply less interesting? Are fewer examples available for study?

$\endgroup$
  • 6
    $\begingroup$ Note that, if D has a terminal object $e_D$ and U preserves terminal objects, then the unique morphism $X \to U(e_D)$ is terminal in $(X\downarrow U)$. $\endgroup$ – user314 Nov 5 '14 at 11:26
4
$\begingroup$

The two 'universal properties' Wikipedia talks about are in fact dual: terminal morphisms from $U$ to $X$ are exactly the initial morphisms from $X^\mathrm{op}$ to $U$. Terminal objects in $(X \downarrow U)$ on the other hand are a very different thing, and there is no reason for them to be interesting just because the initial objects are. The initial morphism is what other morphisms extend (dually: lift) through, the terminal morphism is what extends through other morphisms, which is something that can hold for trivial reason (cf. Adeel's comment).

To put it in less vague terms, the crucial property of initial morphisms from $X$ to $U$ is that they are equivalent to the representability of $\hom(X, U-)$ (and initial morphisms in general are in fact equivalent to the very notion of representability: functor $F : C → \mathrm{Set}$ is representable iff there is an initial morphism from the singleton to $F$). For terminal objects of $(X \downarrow U)$ nothing similar is true.

(To be honest, this doesn't offer any additional insight on why are terminal objects 'uninteresting', arguing only that we have no reason to expect them to be, but it felt too long for a comment.)

$\endgroup$
  • 1
    $\begingroup$ Are "extend through" and "lift through" specializations of "factor through" where the direction of composition is specified? $\endgroup$ – askyle Mar 13 '15 at 12:48
  • 2
    $\begingroup$ @askyle: They were ment as such, yes, but I don't know how well-known the terminology is. It is more traditional to talk about extensions only trough monos and lifts only to epis, ie. in the definitions of injective and projective objects respectively (indeed, if monos are injective functions, this literally is a domain extension), but one speaks of lifts and extensions in general when defining Kan extensions and lifts, as universal solutions to extension/lifting problems up to a 2-morphism. $\endgroup$ – user54748 Mar 14 '15 at 1:02
  • 2
    $\begingroup$ For a very concrete example of a lifting problem (in which the lift terminology probably predates category theory) take a path $s : I → M$ in a smooth manifold, and a fiber bundle $π : E → M$. A lift of $s$ to $E$ is then a section of that bundle along the path $s$. In particular, if $E$ is the tangent bundle $TM$, then the lifts of $s$ are exactly the vector fields along $s$. $\endgroup$ – user54748 Mar 14 '15 at 1:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.