User:GeorgeTucker

Applications

Given a functor $$F: C \to D$$ and a complete, cocomplete category X. We can form the diagram


 * $$ F^*: X^D \to X^C $$

of functor complexes. Using the end and coend, we can form the left and right adjoint of $$F^*$$.