The difference between set theory and type theory: there is set intersection but no type intersection. It makes no sense to ask for ints that are also bools.
-
Show this thread
Replying to @BartoszMilewski
Set theory has plenty of incidental and accidental puns, whereas category theory has only essential puns... including all those in the set theories included inside category theory.
8:47 PM - 4 Dec 2019
0 replies
2 retweets
5 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!