Exercise 1.7.9. Show that the terminal objects of \(C\) are precisely the limits of the unique functor \(F\colon \emptyset \to C\), and that the initial objects are the colimits of \(\emptyset \to C\).

Generated from the authoritative LaTeX source.