A nominal set is an object of the Schanuel topos.
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
See also
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.