Predicative algebraic set theory. Awodey, Steve; Warren, Michael A. — 2005 Theory and Applications of Categories [electronic only]