Package5.2.7Data StructuresMonadsComonadsFunctors

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Modules

13 modules

Control.Comonad.Density6The Density Comonad for a Functor (aka the 'Comonad generated by a Functor)
Control.Monad.Co20Monads from Comonads http://comonad.com/reader/2011/monads-from-comonads/ Co can be viewed as a right Kan lift along a Comonad. In genera…
Control.Monad.Codensity12
Data.Functor.Contravariant.Coyoneda4The co-Yoneda lemma for presheafs states that f is naturally isomorphic to Coyoneda f.
Data.Functor.Contravariant.Day13The Day convolution of two contravariant functors is a contravariant
Data.Functor.Contravariant.Yoneda3
Data.Functor.Coyoneda7Coyoneda f is the "free functor" over f.
Data.Functor.Day14Eitan Chatav first introduced me to this construction The Day convolution of two covariant functors is a covariant functor. Day convoluti…
Data.Functor.Day.Curried12Day f -| Curried fDay f ~ Compose f when f preserves colimits / is a left adjoint. (Due in part to the
Data.Functor.Invariant.Day13The Day convolution of two invariant functors is an invariant
Data.Functor.Kan.Lan10Left Kan Extensions
Data.Functor.Kan.Ran14Right Kan Extensions
Data.Functor.Yoneda9The covariant form of the Yoneda lemma states that f is naturally

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

14 packages