/sci/ - Science & Math

>>15227707
another way of seeing this
in the book, C is a set and End(C) is a set
otherwise C is a formula and End(C) is a formula schema with a syntactic variable letter "C", and you have to expand the definition of a category just to get back to an ordinary formula with no syntactic variables, and that's a lot of work for someone who just wants to say
>I'm not doing CS, I'm not doing philosophy, I'm not doing logic, I'm doing MATH
especially when mathematicians are noted for their laziness...