What are identity elements in Lawvere metric spaces (that is,
**Cost**-categories)? How do we interpret this in terms of distances?