Getting into an argument with someone who's saying that to truly grok why "false => true", you need to understand (-1)-categories
I am very tired of category theory fetishists
Conversation
This is critical to learning basic logical implication
1
1
9
I am convinced that a non-negligible subset of people who are like "Programming is just CaTeGoRy ThEoRy" don't know any math besides Category Theory
7
4
34
Replying to
If you divide them up into teams, can you have at least one programmer who knows math other than category theory in each team? I feel like this might be related to the axiom of choice
Replying to
Existence is easy, just put everybody on the same team
Completeness is impossible, just make a team with zero people
For stuff in between it's probably a pigeonhole proof
1