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.
Articles by others on the same topic
There are currently no matching articles.