Spahn substitution

1. References

• Brian Day, Ross Street, abstract substitution in enriched categories, 2003