Or no wait. The arrows were functions and naturality was equality of... well I forget
@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.