An Equational Metalogic for Monadic Equational Systems (Q2855643)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Equational Metalogic for Monadic Equational Systems |
scientific article |
Statements
25 October 2013
0 references
monoidal action
0 references
strong monad
0 references
double dualization
0 references
equational presentation
0 references
free algebra
0 references
equational logic
0 references
soundness
0 references
strong completeness
0 references
enriched universal algebra
0 references
monadic equational system
0 references
enriched monad
0 references
math.CT
0 references
