Equivalences for 0 and 1-categories.

Not done very nicely, but it's a start.