"On Universal Algebra Over Nominal Sets" by Alexander Kurz and Daniela Petrişan
 

Document Type

Article

Publication Date

2010

Abstract

We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.

Comments

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Mathematical Structures in Computer Science, volume 20, number 2, in 2010 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1017/S0960129509990399.

Copyright

Cambridge University Press

Plum Print visual indicator of research metrics
PlumX Metrics
  • Citations
    • Citation Indexes: 21
  • Usage
    • Downloads: 158
    • Abstract Views: 6
  • Captures
    • Readers: 5
see details

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.