Linear monads

B. J. Day

doi:10.1017/S0004972700010418

Linear monads

B. J. Day^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Abstract

A monad T = (T, Î¼, Î·) on a category C is said to be linear with respect to a dense functor N: A â†’ C if the operator T is the epimorphic image of a certain colimit of its values on A. The main aim of the article is to relate the concept of a linear monad to that of a monad with rank. A comparison is then made between linear monads and algebraic theories.

Original language	English
Pages (from-to)	177-192
Number of pages	16
Journal	Bulletin of the Australian Mathematical Society
Volume	17
Issue number	2
DOIs	https://doi.org/10.1017/S0004972700010418
Publication status	Published - 1977

Access to Document

10.1017/S0004972700010418

Cite this

@article{76d3a2df404d434b8a6864c5f01fee47,

title = "Linear monads",

abstract = "A monad T = (T, {\^I}¼, {\^I}·) on a category C is said to be linear with respect to a dense functor N: A {\^a}†{\textquoteright} C if the operator T is the epimorphic image of a certain colimit of its values on A. The main aim of the article is to relate the concept of a linear monad to that of a monad with rank. A comparison is then made between linear monads and algebraic theories.",

author = "Day, {B. J.}",

year = "1977",

doi = "10.1017/S0004972700010418",

language = "English",

volume = "17",

pages = "177--192",

journal = "Bulletin of the Australian Mathematical Society",

issn = "0004-9727",

publisher = "Cambridge University Press (CUP)",

number = "2",

}

TY - JOUR

T1 - Linear monads

AU - Day, B. J.

PY - 1977

Y1 - 1977

N2 - A monad T = (T, Î¼, Î·) on a category C is said to be linear with respect to a dense functor N: A â†’ C if the operator T is the epimorphic image of a certain colimit of its values on A. The main aim of the article is to relate the concept of a linear monad to that of a monad with rank. A comparison is then made between linear monads and algebraic theories.

AB - A monad T = (T, Î¼, Î·) on a category C is said to be linear with respect to a dense functor N: A â†’ C if the operator T is the epimorphic image of a certain colimit of its values on A. The main aim of the article is to relate the concept of a linear monad to that of a monad with rank. A comparison is then made between linear monads and algebraic theories.

UR - http://www.scopus.com/inward/record.url?scp=84971116364&partnerID=8YFLogxK

U2 - 10.1017/S0004972700010418

DO - 10.1017/S0004972700010418

M3 - Article

AN - SCOPUS:84971116364

SN - 0004-9727

VL - 17

SP - 177

EP - 192

JO - Bulletin of the Australian Mathematical Society

JF - Bulletin of the Australian Mathematical Society

IS - 2

ER -

Linear monads

Abstract

Access to Document

Other files and links

Fingerprint

Cite this