On universal algebra over nominal sets

DOI10.1017/S0960129509990399zbMath1193.08004MaRDI QIDQ3559973

Daniela Petrişan, Alexander Kurz

Publication date: 17 May 2010

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

zbMATH Keywords

equational logicuniversal algebranominal algebraalgebras over nominal setscategory of nominal setsHSP theorems

Mathematics Subject Classification ID

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

Related Items (9)

Presenting functors on many-sorted varieties and applications ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Equational presentations of functors and monads ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Cites Work

• Unnamed Item
• Free-algebra models for the \(\pi \)-calculus
• Nominal Equational Logic
• Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
• Nominal Algebra and the HSP Theorem
• Term Equational Systems and Logics

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