Not often you find a proof that's intuitive and makes sense to a programmer but also does not assume you are talking only about the set category
#CategoryTheory #FunctionalProgramming
Founder Functional Programming India, Concur UI framework. “It’s all fine, if the compiler says it’s fine”. "Be irrational. Don't let the economists win" "Rage […] [bridged from social.id1.in/@aj on the fediverse by fed.brid.gy ]