22 Apr
2004
22 Apr
'04
9:20 p.m.
[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