TY - GEN T1 - A Unified Approach to Algebraic Set Theory T2 - arXiv PY - 2007/10/16 AU - Berg BVD AU - Moerdijk I ED - DO - DOI: 10.48550/arxiv.0710.3066 Y2 - 2025/10/10 ER -