Functorial semantic of theories for classes of partial algebras
From MaRDI portal
Publication:2759858
zbMATH Open0987.18009MaRDI QIDQ2759858
Publication date: 23 June 2002
algebraic theoriessymmetric monoidal categoriesheterogeneous partial algebraspartial functions between sets
Theories (e.g., algebraic theories), structure, and semantics (18C10) Partial algebras (08A55) Actions of a monoidal category, tensorial strength (18D25)
Related Items (2)
Some algebraic problems in the context of functorial semantics of algebraic theories ⋮ \(\mathcal H\)-theories, fragments of HA and PA-normality
This page was built for publication: Functorial semantic of theories for classes of partial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2759858)
