FOM: universality/comprehension

[Harvey Friedman]

Pratt wrote in 6:57PM 2/13/98:

>From: Harvey Friedman
>>By far the most interesting thing about
>>category theory is the universal mapping properties.
>
>I would agree with this if you would agree that "By far the most
>interesting thing about set theory is functions."

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