“Given no objects, there is an object with no maps, and given any other object and no maps, there is a unique arrow making nothing further commute.”