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

DOI10.1016/J.JCSS.2014.04.002zbMATH Open1304.68030OpenAlexW2121964136MaRDI QIDQ2453579FDOQ2453579

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

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

zbMATH Keywords

Lawvere theoriesnominal setsequational logicpermutation actionsfresh names

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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)

Cites Work

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

Cited In (6)

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

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)