Oh I see. If the insides commute, then you can move the outside lines inwards until they meet, and because composition is associative you can rearrange the parentheses however you like
@ionchy reading these as someone who learned category theory long ago and then forgot it feels a little weird. I'm suddenly compelled to dive into the pool of abstract nonsense again...
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.