TY - RPRT TI - A Unified Approach to Algebraic Set Theory AU - Benno van den Berg AU - Ieke Moerdijk PY - 2007 UR - https://arxiv.org/abs/0710.3066 ID - 0710.3066 ER -