[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'.]

Just for the record, the change I requested was from "discrete 1-category" to just "0-category" without the "discrete" (being redundant). Vaughan