Category Expansionary Theory