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