FOM: query on quote: Feferman?
cxm7 at po.cwru.edu
Mon Nov 17 13:29:47 EST 1997
I believe Sol Feferman somewhere argued against categorical
foundations for math, saying something like: it is impossible to define
linear transformations before defining linear spaces. (I had thought this
was in the Midwest Category Theory Seminar of 1969, in his paper with an
appendix by Kreisel, but it is not.) Can anyone help me with a citation?
More information about the FOM