Re: Proposition 1.88 (Adjoint functor theorem for posets)
How is application of 1.81 justified? I thought it required what we are trying to prove, namely that f and g are adjoint.