Nominal Lawvere Theories

Simple item page
dc.contributor.authorClouston, Ranald
dc.coverage.spatialPennsylvania USA
dc.date.accessioned2015-12-10T22:43:34Z
dc.date.createdMay 18-20 2011
dc.date.issued2011
dc.date.updated2016-02-24T10:19:04Z
dc.description.abstractLawvere 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.
dc.identifier.isbn9783642209192
dc.identifier.urihttp://hdl.handle.net/1885/58223
dc.publisherSpringer
dc.relation.ispartofseriesWorkshop on Logic, Language, Information and Computation (WoLLIC 2011)
dc.sourceProceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)
dc.source.urihttp://wollic.org/wollic2011/ http://www.springerlink.com/content/n354v50j6q51/#section=569188&page=11&locus=63
dc.subjectKeywords: 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
dc.titleNominal Lawvere Theories
dc.typeConference paper
local.bibliographicCitation.lastpage83
local.bibliographicCitation.startpage67
local.contributor.affiliationClouston, Ranald, College of Engineering and Computer Science, ANU
local.contributor.authoremailrepository.admin@anu.edu.au
local.contributor.authoruidClouston, Ranald, u4982397
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absfor010103 - Category Theory, K Theory, Homological Algebra
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationU3594520xPUB433
local.identifier.doi10.1007/978-3-642-20920-8-11
local.identifier.scopusID2-s2.0-79955861693
local.identifier.uidSubmittedByU3594520
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Clouston_Nominal_Lawvere_Theori_2011.pdf
Size:
326.08 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS