FOM: universality/comprehension

Vaughan Pratt pratt at cs.Stanford.EDU
Sat Feb 14 20:45:03 EST 1998


Friedman:
>By far the most interesting thing about
>category theory is the universal mapping properties.

Pratt:
>I would agree with this if you would agree that "By far the most
>interesting thing about set theory is functions."

Friedman:
>This is not a proper analogy. A better one is "By far the most interesting
>thing about set theory is the comprehension principles."

Hey, Harvey, no fair you getting to pick the most interesting thing to
you on both sides.  Either both sides should be represented by amateurs,
or both by professionals, not a professional for one and an amateur for
the other.

Vaughan Pratt



More information about the FOM mailing list