Fruit salad is a "formula".
Fruit is a "terms".
Tomato is a "sort".

or

Fruit salad is a "proof".
Fruit is a "formula".
Tomato is a "term".
San Marzano is a "sort".


And needless to say, we shouldn't confuse fruit with fruit salad. That's
clear. Less clear is confusing fruit and tomato. Very few distinguish
between San Marzano and tomato.


Best,

Patrik


On 2023-10-30 00:38, dawson wrote:
> I'm with David here.
>
> For some purposes it is genuinely useful to know that all categorical
> concepts can be reduced to "terminal object", or that the entire theory
> of deterministic computation can be emulated within group theory. But
> that doesn't mean that this should always be done! Mathematics is all
> about knowing many ways to look at something, and choosing the right
> one(s).
>
> "Knowledge is knowing that a tomato is a fruit. Wisdom is not putting
> it
> into a fruit salad."
>
> Best to all,
> Robert Dawson
>
>
>
> ----------
>
> You're receiving this message because you're a member of the
> Categories mailing list group from Macquarie University.
>
> Leave group:
> https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=29536429-b029-49ae-8f6f-ef4b9554e6fb