Or start with the morphisms, then look for the idempotents, so further up the structures fall out naturally? (this program may have an advantage in that it mot

Or start with the morphisms, then look for the idempotents, so further up the structures fall out naturally? (this program may have an advantage in that it motivates passing from the continuous to the discrete?)