FOM: universality/comprehension

Harvey Friedman friedman at math.ohio-state.edu
Sat Feb 14 06:24:25 EST 1998


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."





More information about the FOM mailing list