Comonoids to the left

Last updated May 18, 2023

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