The latest version of kan-extensions is 5.2.6-0.
kan-extensions
Version 4.1.0.1 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
- Description
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
- Author
- Edward A. Kmett
- Bug reports
- http://github.com/ekmett/kan-extensions/issues
- Category
- Data Structures, Monads, Comonads, Functors
- Copyright
- Copyright (C) 2008-2013 Edward A. Kmett
- Homepage
- http://github.com/ekmett/kan-extensions/
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- provisional