Exercise 1.3.21. Formulate and prove that the assignments \(g \mapsto (g \circ -)\) and \(f \mapsto (- \circ f)\) are functorial, in the sense that they respect identity functors and composition of functors.
Generated from the authoritative LaTeX source.