Algebras over variable theories.

DOI10.1007/S00012-002-8174-3zbMATH Open1061.18007OpenAlexW2073492047MaRDI QIDQ1771899

M. Nečesal, Jiří Rosický, David B. Benson

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-002-8174-3

zbMATH Keywords

algebraic theoryvariety of \(S\)-sorted varieties

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (2)

Morita equivalence for many-sorted enriched theories ⋮ Variations on effect algebras.

This page was built for publication: Algebras over variable theories.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1771899)