Nominal Lawvere Theories: A category theoretic account of equational theories with names

作者：

Highlights：

• A novel class of categories called Nominal Lawvere Theories.

• A sound and complete categorial interpretation of Nominal Equational Logic (NEL).

• Classifying categories for NEL theories.

• A correspondence between NEL theories and Nominal Lawvere Theories.

摘要

•A novel class of categories called Nominal Lawvere Theories.•A sound and complete categorial interpretation of Nominal Equational Logic (NEL).•Classifying categories for NEL theories.•A correspondence between NEL theories and Nominal Lawvere Theories.

论文关键词：Lawvere Theories,Equational logic,Nominal sets,Fresh names,Permutation actions

论文评审过程：Received 15 January 2012, Revised 6 March 2013, Accepted 3 February 2014, Available online 3 April 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.002