4 Mar
1997
4 Mar
'97
7:49 a.m.
William James continues to write:
Might I, then, go on to say that the philosophies of constructive mathematics and category theory really are different?
Constructive mathematics is a philosophy. Category theory is not. The question doesn't even type-check.
Of course they're different.
Does category theory, being mathematics, have no associated philosophy? (I grant you the original question would have been more recognisable given better use of language: "...philosophies of constructive mathematics and *of* category theory...") William James