
Monads need not be endofunctors
Various
Monads need not be endofunctors
Various
Book Details:
Year: | 2013 |
Publisher: | University of Nottingham |
Pages: | 41 pages |
Language: | english |
Since: | 08/05/2014 |
Size: | 520 KB |
License: | Pending review |
Content:
We introduce a generalisation of monads, called relative monads, allowing for underlying functors between difeerent categories.
Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions, relative monads are monoids in the functor category concerned and extend to monads, giving rise to a core ection between relative monads and monads. Arrows are also an instance of relative monads.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in categories
online since
08/05/2014rate score
Nothing yet...votes
Nothing yet...Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...