Pointwise-monic adjunction over a non-balanced poset

ID: pointwise-monic-adjunction-over-a-non-balanced-poset

Let and let be the terminal category. The unique functor is left adjoint to the functor selecting . Every arrow in a poset is monic, so the unit and counit are pointwise monic, but is not full because the unique arrow has no preimage . The category is not balanced.

New to topics? Read the docs here!