Monoidal contexts form a category

Last updated May 24, 2023

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

Tags: Monoidal contexts, Category