Monoidal contexts form a category

Last updated Jan 8, 2025

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

Tags: Monoidal contexts, Category