## References * Brian Day, Ross Street, abstract substitution in enriched categories, 2003