Enriched algebraic theories and monads for a system of arities (Q2808141)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enriched algebraic theories and monads for a system of arities |
scientific article |
Statements
26 May 2016
0 references
2-category
0 references
algebraic theory
0 references
cotensor
0 references
Eilenberg-Moore algebra
0 references
enriched category
0 references
enriched Lawvere theory
0 references
finitely presentable object
0 references
Kan extension
0 references
Kleisli bicategory
0 references
monad
0 references
ring
0 references
symmetric monoidal closed category
0 references
weighted (co)limit
0 references
math.CT
0 references
cs.LO
0 references
math.LO
0 references
