Variations on Algebra: Monadicity and Generalisations of Equational Therories

Autor:	Edmund Robinson
Rok vydání:	2002
Předmět:	Algebra Morphism Functor Algebraic theory Theory of computation Category theory Monad (functional programming) Categorical variable Software Monadic predicate calculus Theoretical Computer Science Mathematics
Zdroj:	Formal Aspects of Computing. 13:308-326
ISSN:	1433-299X 0934-5043
DOI:	10.1007/s001650200014
Popis:	This is a largely tutorial paper about the categorical notion of monad and the ways in which monads on different categories correspond to variations on the standard notion of algebraic theory.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b1e41f41a890f8a6c4e0ebae543ede48 https://doi.org/10.1007/s001650200014 Zobrazit plný text záznamu Full text from SpringerLink