Functoriality of chosen representations
ID: functoriality-of-chosen-representations
If has chosen representations , the Yoneda lemma determines a unique functor on morphisms by . This makes the representing natural isomorphisms natural in .
New to topics? Read the docs here!