Exponentiability in categories of lax algebras
Abstract: 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.
