Adjunctions and comonads in differential algebra
scientific article; zbMATH DE number 3512269