Re: Getting rid of cardinality as an issue (correction)

Vaughan Pratt wrote:

[Note from moderator: apologies to Vaughan for missing his requested change: 1 has been changed to 0 5 lines from bottom, so it reads: `discrete 0-category'.]

And this is the line in question:

* A set is a discrete 0-category.

Just to check, the word "discrete" here is redundant, right? You just put it in to contrast with the next line, where it's necessary:

* A class is a discrete n-category for unspecified n.

-- Toby