Comonoids to the left

Last updated Apr 23, 2024

This is an example of bimodular categories and their string diagrams. It could be applied to Differential categories.