TY  - RPRT
TI  - A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
AU  - Fabian Lenke
AU  - Stefan Milius
AU  - Henning Urbat
PY  - 2026
UR  - https://arxiv.org/abs/2602.11907
ID  - 2602.11907
ER  -