the source of naturality and uniformity in Fox's theorem

Last updated Feb 3, 2024

• Fox’s theorem
• exponential symmetric monoidal category