The category of nominal sets is locally monoidal closed

Fahimeh Bayeh, Peng Fu, Peter Selinger

The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, al…