Context theory for categories

Last updated Feb 3, 2024

Tags: Category, Promonoidal category of spliced arrows, session do-notation.

• Context theory for monoidal categories