Representation of a functor

ID: representation-of-a-functor

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!