string diagrams for distributive laws

Last updated May 3, 2024