sliced-left-adjoint

Every adjunction induces an adjunction between slice categories of suitable objects on both sides of the adjunction. This is a way of lifting adjunctions to a slice category.

Tags: adjunction, left adjoint.