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