Dirk Hofmann; Maria Manuel Clementino; Walter Tholen;
Exponentiability in categories of lax algebras
For a complete cartesian-closed category V with coproducts, and for any pointed endofunctor T of the category of sets satisfying a suitable Beck-Chevalley-type condition, it is shown that the category of lax reflexive (T,V)-algebras is a quasitopos. This result encompasses many known and new examples of quasitopoi.
Theory and Applications of Categories