catalog

The theory of the catalog: its shared part, or the whole theory when it is not split