Monadoc
The latest version of natural-transformation is 0.4-12.

natural-transformation

Version 0.4 revision 11 uploaded by ryanglscott.

Package meta

Synopsis
A natural transformation package.
Description

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.

Author
Andy Gill
Bug reports
https://github.com/ku-fpg/natural-transformation/issues
Category
Control
Copyright
Copyright (c) 2015-2016 The University of Kansas
Homepage
https://github.com/ku-fpg/natural-transformation
Maintainer
Andy Gill <andygill@ku.edu>
Package URL
n/a
Stability
Provisional

Components