"The outer rectangle commutes because the inner two squares do." What are you going on about
@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...
@hazel I've reached a diagram claiming that the composition of two natural transformations is also natural
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.