Nominal Lawvere Theories
Date
2011
Authors
Clouston, Ranald
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Lawvere theories provide a category theoretic view of equational logic, identifying equational theories with small categories equipped with finite products. This formulation allows equational theories to be investigated as first class mathematical entities. However, many formal systems, particularly in computer science, are described by equations modulated by side conditions asserting the "freshness of names"; these may be expressed as theories of Nominal Equational Logic (NEL). This paper develops a correspondence between NEL-theories and certain categories that we call nominal Lawvere theories.
Description
Keywords
Keywords: Equational logic; Fraenkel-Mostowski set theory; Fresh names; Lawvere theory; Nominal Sets; Formal logic equational logic; Fraenkel-Mostowski set theory; fresh names; Lawvere theory; nominal sets
Citation
Collections
Source
Proceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description