Different functors from reality to model chooses different granularities
If there was a good way to store category theory database we could use that as a backend with different front ends
category theory