This structure groups category-theoretic resources by category type. Submodules Ordinary categories Enriched categories Infinity categories