Category Neutrality: A Type-Logical Investigation