A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on

Fabian Lenke, Stefan Milius, Henning Urbat

Presheaves and nominal sets provide alternative abstract models of sets of syntactic objects with free and bound variables, such as lambda-terms. One distinguishing feature of the…