An Equational Metalogic for Monadic Equational Systems

zbMath1287.18005arXiv1309.4821MaRDI QIDQ2855643

Marcelo P. Fiore

Publication date: 25 October 2013

Full work available at URL: https://arxiv.org/abs/1309.4821

zbMATH Keywords

free algebraequational logicsoundnessstrong completenessequational presentationstrong monadmonoidal actiondouble dualizationenriched monadenriched universal algebramonadic equational system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Equational logic, Mal'tsev conditions (08B05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (4)

Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ List Objects with Algebraic Structure

This page was built for publication: An Equational Metalogic for Monadic Equational Systems