This! Thank you for your service to category theory!
Comparisons like this are what is going to lead us into the next 100 years.
Comparisons like this are what is going to lead us into the next 100 years.
To confirm though, I am indeed not that or any other mathematician and I can’t claim any credit for any contribution to category theory. I’m simply a programmer who knows a little bit about a few things, no one special :)