Categorical Logic 2