Package5.2.8Data StructuresMonadsComonadsFunctors

kan-extensions

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

Modules

Control.Comonad.DensityThe Density Comonad for a Functor (aka the 'Comonad generated by a Functor)
Control.Monad.CoMonads 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.Codensity
Data.Functor.Contravariant.CoyonedaThe co-Yoneda lemma for presheafs states that f is naturally isomorphic to Coyoneda f.
Data.Functor.Contravariant.DayThe Day convolution of two contravariant functors is a contravariant
Data.Functor.Contravariant.Yoneda
Data.Functor.CoyonedaCoyoneda f is the "free functor" over f.
Data.Functor.DayEitan Chatav first introduced me to this construction The Day convolution of two covariant functors is a covariant functor. Day convoluti…
Data.Functor.Day.CurriedDay f -| Curried fDay f ~ Compose f when f preserves colimits / is a left adjoint. (Due in part to the
Data.Functor.Invariant.DayThe Day convolution of two invariant functors is an invariant
Data.Functor.Kan.LanLeft Kan Extensions
Data.Functor.Kan.RanRight Kan Extensions
Data.Functor.YonedaThe 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.

12 packages