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!