Exercise 1.5.18. Make the definition of \(\Fun ^W(C,D)\) precise by constructing the corresponding collection of objects of \(\Fun (C,D)\). Hint: Pull back the collection of isomorphisms in \(D\) along the functor which records the action of a functor \(C\to D\) on the morphisms in \(W\).
Generated from the authoritative LaTeX source.