Category Theory May Actually be a Disease
I was just listening to people talking about how much time people spend communicating in text and how little people read, then I started looking again at Categories within the Foundation of Mathematics by Benjamin Horowitz and I realised that although he admits to leaving the idea of a collection undefined, he also leaves the idea of a map undefined, but then he is happy to make assertions about this undefined notion of a map, for example he says "It is important to note that a diagram doesn’t necessarily have to commute unless forced to by the properties of a category (as with the associativity and identity diagrams)." What on earth does he expect that to mean to someone? Then I remembered Steve Awodey's lectures being an unusually comprehensible introduction, so I went back to look at them again and I noticed this comment "Math joke: What do you call a category theorist who reads a paper? A co-author." See Another Excellent Talk on HoTT by Steve Awodey . I...