The kan-extensions package

[Tags: bsd3, library]

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


Properties

Versions0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.5.0, 0.5.1, 1.8.0, 1.9.0, 2.0.0, 2.0.0.1, 2.0.0.2, 2.0.0.3, 2.0.1, 2.0.2, 2.1, 2.1.2, 2.2, 2.3, 2.4, 2.4.0.1, 2.5, 2.6, 2.7, 3.0, 3.1, 3.1.0.1, 3.1.0.2, 3.1.1, 3.1.2, 3.4, 3.5, 3.5.1, 3.6, 3.6.2, 3.7, 4.0, 4.0.1, 4.0.2, 4.0.3, 4.1
Dependenciesadjunctions (==0.7.*), array (>=0.3.0.2 && <0.4), base (>=4 && <4.4), comonad (==1.0.*), comonad-transformers (>=1.5.1 && <1.6), containers (==0.4.*), contravariant (>=0.1.2 && <0.2), distributive (>=0.1.1 && <0.2), keys (>=0.1.0.1 && <0.2), mtl (>=2.0.1.0 && <2.1), representable-functors (>=0.1.0.1 && <0.2), semigroupoids (>=1.1.1 && <1.2.0), semigroups (>=0.3.4 && <0.4), transformers (>=0.2.0 && <0.3)
LicenseBSD3
CopyrightCopyright (C) 2011 Edward A. Kmett
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryData Structures, Monads, Comonads, Functors
Home pagehttp://github.com/ekmett/adjunctions/
Source repositoryhead: git clone git://github.com/ekmett/adjunctions.git
Upload dateSat Feb 5 05:21:18 UTC 2011
Uploaded byEdwardKmett
DistributionsNixOS:4.1
Downloads2637 total (258 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees