Monads need not be endofunctors

QR Code

Monads need not be endofunctors

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed λ-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions ca...

Full description

Bibliographic Details
Main Authors:	Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo
Format:	Article
Published:	International federation of Computer Logic 2015
Subjects:	monads adjunctions monoids skew-monoidal categories functional programming
Online Access:	https://eprints.nottingham.ac.uk/30436/

Similar Items

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)

Nonassociative geometry in quasi-Hopf representation categories I: bimodules and their internal homomorphisms
by: Barnes, Gwendolyn E., et al.
Published: (2015)

Nonassociative geometry in quasi-Hopf representation categories II: connections and curvature
by: Barnes, Gwendolyn E., et al.
Published: (2016)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Sensory and analytical impacts of unmalted cereal adjunct usage in lager brewing
by: Yorke, Joanna
Published: (2022)

Secure web services using two-way authentication and three-party key establishment for service delivery
by: Han, Song, et al.
Published: (2009)

Improving the freshness of pale lager beers
by: Maia, Carolina
Published: (2023)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2016)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

A fast method for modelling skew and its effects in salient-pole synchronous generators
by: Nuzzo, Stefano, et al.
Published: (2017)

Quantile regression: applications and current research areas
by: Yu, K., et al.
Published: (2009)

The automorphisms of Petit's algebras
by: Brown, C., et al.
Published: (2017)

Skew Armendariz rings and their relations
by: Pourtaherian, Hamideh
Published: (2012)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

How does consumers' skepticism affect advertising claims?
by: Tien, Cheryl
Published: (2010)

Dato' Haji Sidek Haji Jamil / Nurul Nadrah Abdul Kader, Nur Shahidah Mohamad Ali and Siti Hajar Mat Arsat
by: Abdul Kader, Nurul Nadrah, et al.
Published: (2011)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Is Black-Scholes Model An Appropriate Option Pricing Tool in Chinese Stock Market?
by: Mao, Qing
Published: (2007)

Is Black-Scholes Model An Appropriate Option Pricing Tool in Chinese Stock Market?
by: Mao, Qing
Published: (2007)

New classes of nonassociative divison algebras and MRD codes
by: Thompson, Daniel
Published: (2021)

Effect of Skewness on Deck Girder Bridges
by: Rahman, Ekhlasur, et al.
Published: (2012)

Nonassociative cyclic extensions of fields and central simple algebras
by: Brown, C., et al.
Published: (2018)

A retail category management model integrating shelf space and inventory levels
by: Ramaseshan, Balasubramanian, et al.
Published: (2009)

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

A coalgebraic view of bar recursion and bar induction
by: Capretta, Venanzio, et al.
Published: (2016)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Examine the Factors Influencing Brand-switching: the Effects of Advertising and Promotion
by: Luo, Xueling
Published: (2006)