Без заголовка

А вот и нет -- никакого единого дерева категорий, как раз чтобы не было буксования. Три человека никогда не договорятся про единство своих категорий. Поэтому -- только простое плюсование, объединение в смысле механического слияния. Разве что разрешить слипаться одноименным поддеревьям (и то -- делать это разрешение осторожно ;)