{"id":"arxiv/2609.22551","url":"https://arxiv.org/abs/2609.22551","tags":["math.CT","cs.LO"],"score":0,"title":"The category of nominal sets is locally monoidal closed","domain":"math.CT","source":"arxiv","authors":["Fahimeh Bayeh","Peng Fu","Peter Selinger"],"reviews":0,"subject":"math.CT","summary":"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, also known as the Schanuel topos, and in particular it follows that Nom is locally closed, i.e., every slice category Nom/X is cartesian-closed. In this paper, we show that Nom has a much stronger property: every monoidal (closed) structure on Nom induces a monoidal (closed) structure on all slice categories Nom/X. One monoidal closed structure of particular interest on Nom is the separated product A * B, whose right…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}