Comprehension and Quotient Structures in the Language of 2-Categories