TY - RPRT TI - On the equivalence invariance of formal category theory AU - Paula Verdugo PY - 2025 UR - https://arxiv.org/abs/2509.04255 ID - 2509.04255 ER -