The kan-extensions package

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

Properties

Versions	0.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
Dependencies	adjunctions (2.0.), array (≥0.3.0.2 & <0.4), base (4.), comonad (1.1.), comonad-transformers (1.8.), comonads-fd (1.8.), containers (0.4.), contravariant (≥0.1.2 & <0.2), distributive (0.2.), free (1.8.), keys (1.8.), mtl (≥2.0.1.0 & <2.1), representable-functors (2.0.), semigroupoids (≥1.2.2 & <1.3), semigroups (0.5.), transformers (0.2.)
License	BSD3
Copyright	Copyright (C) 2011 Edward A. Kmett
Author	Edward A. Kmett
Maintainer	Edward A. Kmett <ekmett@gmail.com>
Stability	provisional
Category	Data Structures, Monads, Comonads, Functors
Home page	http://github.com/ekmett/kan-extensions/
Source repository	git clone git://github.com/ekmett/kan-extensions.git
Upload date	Mon Jul 25 21:35:38 UTC 2011
Uploaded by	EdwardKmett
Built on	ghc-7.0