What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Monads need not be endofunctors

Loading...

You must sign in to do that.

Forgot password?

Monads need not be endofunctors

Monads need not be endofunctors

Monads need not be endofunctors

Score: ---- | 0 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
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

global rank

online since

08/05/2014

rate score

Nothing yet...

votes

Nothing yet...

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...