Poset-enriched adjunction

ID: poset-enriched-adjunction

In a category whose hom-sets are posets, is left adjoint to when and . Left adjoints are closed under identities and composition.

New to topics? Read the docs here!