FOM: query on quote: Feferman?

Colin McLarty cxm7 at
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?

Colin McLarty

More information about the FOM mailing list