symmetric monoidal (∞,1)-category of spectra
Formally dually to how a monad has a Kleisli category so also a comonad has a (co-)Kleisli category: its objects are the objects of , a morphism in the co-Kleisli category is a morphism
in , and the composition of two such in the co-Kleisli category is represented by the morphism in given by
For an idempotent comonad the co-Kleisli category is the coreflective subcategory of its modal types.
For a jet comonad, then morphisms in its coKleisli category are differential operators.
The Kleisli category of a comonad can be used to model call-by-name? programming languages.
Some introductory material on comonads, coalgebras and co-Kleisli morphisms can be found in
Last revised on January 14, 2020 at 23:45:13. See the history of this page for a list of all contributions to it.