This reasoning, in the case of optics, can be found in Categories of Optics (Riley). Tags: Monoidal contexts, Category
