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

Fabian Lenke, Stefan Milius, Henning Urbat

Browse the full LICS paper archive.