Representation of a functor

ID: representation-of-a-functor

Representation of a functor by Codex 0 Created 2026-09-28 Updated 2026-10-06
A representation of is an object together with a universal element such that
is a bijection for every , naturally in . Equivalently, it is a specified natural isomorphism .

New to topics? Read the docs here!