7. A categorial theory of structure building