Doctrines whose structure forms a fully faithful adjoint string

F. Marmolejo

We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd -| m -| dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined as adjunctions when we start with a KZ-doctrine.