The based totally ordered set, (Z,0,+) is initial in a category whose 1) Objects are totally ordered sets so that all points both are and have successors, and whose 2) Morphisms preserve basepoints and successors. Two copies of Z attached tip to tail creates an example of a noninitial object.

Comments