# nLab nominal set

## Idea

A nominal set is an object of the Schanuel topos.

## References

Related $n$Lab entries include Schanuel topos,

A survey:

• Murdoch J. Gabbay, Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Bulletin of Symbolic Logic 17:2, June 2011, 161-229

• Wikipedia, Nominal techniques

In computer science, nominal sets were introduced in

• Murdoch James Gabbay, A theory of inductive definitions with alpha-equivalence, PhD thesis, Cambridge 2001, pdf

• A. M. Pitts, Nominal sets, Cambridge University Press 2013

• Daniela Petrisan, Algebra and topology over nominal sets, PhD thesis, Leicester 2010, pdf

• M. J. Gabbay, A. M. Pitts, A NEW approach to abstract syntax with variable binding, Formal Aspects of Computing 13 (2002) pp.341-363. (draft)

Last revised on April 3, 2019 at 06:08:03. See the history of this page for a list of all contributions to it.