4 Mar
1997
4 Mar
'97
2:45 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.