Note on a submonadicity Dominique Bourn (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques