FOM: universality/comprehension

[Vaughan Pratt]

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