The latest version of kan-extensions is 5.2.6-0.
kan-extensions
Version 5 revision 0 uploaded by EdwardKmett.
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-2016 Edward A. Kmett
- Homepage
- http://github.com/ekmett/kan-extensions/
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- provisional