Nominal Lawvere theories: a category theoretic account of equational theories with names

DOI10.1016/J.JCSS.2014.04.002MaRDI QIDQ2453579zbMATH OpenOpenAlexFDO

Authors Ranald A. Clouston

Publication date 10 June 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.04.002

zbMATH Keywords

equational logicfresh namesLawvere theoriesnominal setspermutation actions

Mathematics Subject Classification ID

Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Nominal Lawvere Theories
• Nominal equational logic
• Nominal (universal) algebra: equational logic with names and binding
• scientific article; zbMATH DE number 2242589
• Nominal logic, a first order theory of names and binding

Cites work

• A calculus of mobile processes. I
• A new approach to abstract syntax with variable binding
• About \({|}/{|}\)-quantifiers
• Alpha-structural recursion and induction
• Binding in nominal equational logic
• Categories for Types
• Classifying categories for partial equational logic
• Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized algebraic theories and contextual categories
• Global actions, groupoid atlases and applications
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)
• Indexed Lawvere theories for local state
• Nominal (universal) algebra: equational logic with names and binding
• Nominal Algebra and the HSP Theorem
• Nominal equational logic
• Nominal Lawvere Theories
• Nominal rewriting
• Notions of Lawvere theory
• On universal algebra over nominal sets
• Second-Order Algebraic Theories
• Some Varieties of Equational Logic
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Theorem Proving in Higher Order Logics

Cited in

(6)

• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Nominal sets. Names and symmetry in computer science
• Nominal Lawvere Theories
• Binding in nominal equational logic
• The nominal/FM Yoneda lemma
• Equational Systems and Free Constructions (Extended Abstract)

Describes a project that uses

Uses Software

• PoplMark

This page was built for publication: Nominal Lawvere theories: a category theoretic account of equational theories with names

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2453579)