nLab
right adjoint

Idea

A right adjoint functor is one in a pair that constitutes an adjunction. See there for there general concept.

The right adjoint of a functor, if it exists, is one of two best approximations to a weak inverse of that functor. (The other best approximation is the functor's left adjoint, if it exists.) Note that a weak inverse itself, if it exists, must be a right adjoint.

A right adjoint to a forgetful functor is called a cofree functor? or fascist functor (a little political pun); in general, right adjoints may be thought of as being defined cofreely, consisting of anything that works in an inverse, regardless of whether its needed.

The concept generalises immediately to enriched categories and in 2-categories.

Definitions

Given posets (or prosets) $C$ and $D$ and a monotone function $U:C\to D$, a right adjoint of $U$ is a monotone function $G:D\to C$ such that

$$U(x)\le y\iff x\le G(y)$$U(x) \leq y \;\Leftrightarrow\; x \leq G(y)

for all $x$ in $D$ and $y$ in $C$.

Given locally small categories $C$ and $D$ and a functor $U:C\to D$, a right adjoint of $U$ is a functor $G:D\to C$ with a natural isomorphism between the hom-set functors

$${\mathrm{Hom}}_D(F(-),-),{\mathrm{Hom}}_C(-,U(-)):D^{\mathrm{op}}\times C\to \mathrm{Set}.$$Hom_D(F(-),-), Hom_C(-,U(-)): D^op \times C \to Set .

Given $V$-enriched categories $C$ and $D$ and a $V$-enriched functor $U:C\to D$, a left adjoint of $U$ is a $V$-enriched functor $F:D\to C$ with a $V$-enriched natural isomorphism? between the hom-object functors

$${\mathrm{Hom}}_C(F(-),-),{\mathrm{Hom}}_D(-,U(-)):C^{\mathrm{op}}\times D\to \mathrm{Set}.$$Hom_C(F(-),-), Hom_D(-,U(-)): C^op \times D \to Set .

Given categories $C$ and $D$ and a functor $U:C\to D$, a right adjoint of $U$ is a functor $G:D\to C$ with natural transformations

$$\iota :{\mathrm{id}}_C\to U;G,ϵ:G;U\to {\mathrm{id}}_D$$\iota: id_C \to U ; G,\; \epsilon: G ; U \to id_D

satisfying certain triangle identities.

Given a 2-category $ℬ$, objects $C$ and $D$ of $ℬ$, and a morphism $U:C\to D$ in $ℬ$, a right adjoint of $U$ is a morphism $G:D\to C$ with $2$-morphisms

$$\iota :{\mathrm{id}}_C\to U;G,ϵ:G;U\to {\mathrm{id}}_D$$\iota: id_C \to U ; G,\; \epsilon: G ; U \to id_D

satisfying the triangle identities.

Although it may not be immediately obvious, these definitions are all compatible.

Whenever $G$ is a right adjoint of $U$, we have that $U$ is a left adjoint of $G$.

Further remarks

• See Galois connection for right adjoints of monotone functions.
• See adjoint functor for right adjoints of functors.
• See adjunction for right adjionts in $2$-categories.
• See examples of adjoint functors for examples.