@misc{indiciae687ee28fcd7d, title = {A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on}, author = {Fabian Lenke and Stefan Milius and Henning Urbat}, year = {2026}, url = {https://arxiv.org/abs/2602.11907}, note = {Source identifier: 2602.11907} }