Remark 23.6.4. If \(C\) is small and \(D\) admits small limits, the end of \(F\) always exists. Furthermore, if \(D \to D'\) is a functor preserving small limits, then it also preserves ends.

Generated from the authoritative LaTeX source.