Categories in Euclid