Spahn substitution

References

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