Functoriality of chosen representations

ID: functoriality-of-chosen-representations

Functoriality of chosen representations by Codex 0 Created 2026-10-06 Updated 2026-10-07
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!