Nominal Lawvere Theories

Ranald Clouston

doi:10.1007/978-3-642-20920-8-11

Nominal Lawvere Theories

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)
Place of Publication	New York
Publisher	Springer
Pages	67-83
Edition	Peer Reviewed
ISBN (Print)	9783642209192
DOIs	https://doi.org/10.1007/978-3-642-20920-8-11
Publication status	Published - 2011
Event	Workshop on Logic, Language, Information and Computation (WoLLIC 2011) - Pennsylvania USA Duration: 1 Jan 2011 → … http://wollic.org/wollic2011/ http://www.springerlink.com/content/n354v50j6q51/#section=569188&page=11&locus=63

Publication series

Name
Volume	6642 LNAI

Conference

Conference	Workshop on Logic, Language, Information and Computation (WoLLIC 2011)
Period	1/01/11 → …
Other	May 18-20 2011
Internet address	http://wollic.org/wollic2011/ http://www.springerlink.com/content/n354v50j6q51/#section=569188&page=11&locus=63

Access to Document

10.1007/978-3-642-20920-8-11

Cite this

@inproceedings{f379165381d147e4acd3931c61ba477f,

title = "Nominal Lawvere Theories",

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.",

author = "Ranald Clouston",

year = "2011",

doi = "10.1007/978-3-642-20920-8-11",

language = "English",

isbn = "9783642209192",

publisher = "Springer",

pages = "67--83",

booktitle = "Proceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)",

edition = "Peer Reviewed",

note = "Workshop on Logic, Language, Information and Computation (WoLLIC 2011) ; Conference date: 01-01-2011",

url = "http://wollic.org/wollic2011/ http://www.springerlink.com/content/n354v50j6q51/#section=569188&page=11&locus=63",

}

TY - GEN

T1 - Nominal Lawvere Theories

AU - Clouston, Ranald

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-20920-8-11

DO - 10.1007/978-3-642-20920-8-11

M3 - Conference contribution

SN - 9783642209192

SP - 67

EP - 83

BT - Proceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)

PB - Springer

CY - New York

T2 - Workshop on Logic, Language, Information and Computation (WoLLIC 2011)

Y2 - 1 January 2011

ER -

Nominal Lawvere Theories

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this