natural-transformation: A natural transformation package.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
A natural transformation transforms a container f a into another
container g a. Natural transformations act as functor morphisms
in category theory.
The naming of ~>, :~> and $$ were taken,
with permission, from Edward Kmett's indexed package.
[Skip to Readme]
Properties
| Versions | 0.1, 0.2, 0.3, 0.3, 0.3.1, 0.4, 0.4.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.7 && <5) [details] |
| License | BSD-3-Clause |
| Copyright | Copyright (c) 2015 The University of Kansas |
| Author | Andy Gill |
| Maintainer | Andy Gill <andygill@ku.edu> |
| Category | Control |
| Home page | https://github.com/ku-fpg/natural-transformation |
| Bug tracker | https://github.com/ku-fpg/natural-transformation/issues |
| Source repo | head: git clone git://github.com/ku-fpg/natural-transformation |
| Uploaded | by AndyGill at 2016-01-25T19:49:19Z |
Modules
[Index]
Downloads
- natural-transformation-0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for natural-transformation-0.3
[back to package description]natural-transformation 
A natural transformation transforms a container f a into another container g a.
Natural transformations act as functor morphisms in category theory.
Technically, f and g should be functors, but we allow any correctly-shaped structure.