[woolion]

In that case, that means they have entirely failed. The very few people I've met who actually bothered with the books only made fun of how horrible they were to read and understand. I never even did open one myself! I always admired the principle though, because you can reduce everything to pure logic (and even in some cases you can "brute-force" formalism to obtain new results). Which makes me think category theory kind of fills this role in a better way?