TY - RPRT TI - On Self-Predicative Universals in Category Theory AU - David Ellerman PY - 2015 UR - https://arxiv.org/abs/1405.3192 ID - 1405.3192 ER -