Monoidal contexts form a category

Last updated Feb 3, 2024

This reasoning, in the case of optics, can be found in Categories of Optics (Riley).

Tags: Monoidal contexts, Category