->

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