Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities (Q6436312)
From MaRDI portal
scientific article; zbMATH DE number 900591594
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities |
scientific article; zbMATH DE number 900591594 |
Statements
11 May 2023
0 references
math.CT
0 references
