Left adjoint to a covariant representable functor
ID: left-adjoint-to-a-covariant-representable-functor
If has small coproducts in a category and , then is a left adjoint to . Maps from this coproduct to are families of maps , naturally equivalent to functions . Conversely, a set-valued right adjoint is represented by , because maps from a singleton evaluate to elements.
New to topics? Read the docs here!