On universal algebra over nominal sets

DOI10.1017/S0960129509990399MaRDI QIDQ3559973zbMATH OpenFDO

Authors Daniela Petrişan, Alexander Kurz

Publication date 17 May 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129509990399

zbMATH Keywords

algebras over nominal setscategory of nominal setsequational logicHSP theoremsnominal algebrauniversal algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categorical logic, topoi (03G30) Applications of universal algebra in computer science (08A70)

Recommendations

• Nominal Algebra and the HSP Theorem
• Unity in nominal equational reasoning: the algebra of equality on nominal sets
• Nominal Lawvere Theories
• Nominal (universal) algebra: equational logic with names and binding
• Nominal Sets over Algebraic Atoms

Cites work

• Free-algebra models for the \(\pi \)-calculus
• Functorial coalgebraic logic: the case of many-sorted varieties
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Nominal Algebra and the HSP Theorem
• Nominal equational logic
• Term equational systems and logics (extended abstract)

Cited in

(15)

• An application of infinitary universal algebra to set theory
• Nominal Lawvere theories: a category theoretic account of equational theories with names
• Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
• Equational presentations of functors and monads
• Nominal Algebra and the HSP Theorem
• Unity in nominal equational reasoning: the algebra of equality on nominal sets
• Essential Variables and Separable Sets in Universal Algebra
• Modular specification of monads through higher-order presentations
• scientific article; zbMATH DE number 7561623 (Why is no real title available?)
• Nominal Sets over Algebraic Atoms
• From equational specifications of algebras with structure to varieties of data languages (invited paper)
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Presenting functors on many-sorted varieties and applications
• Nominal Henkin semantics: simply-typed lambda-calculus models in nominal sets
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

This page was built for publication: On universal algebra over nominal sets

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