Abstract. We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street’s bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence i
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.