TY - RPRT TI - Ultraproducts in abstract categorical logic AU - Marc Aiguier AU - Isabelle Bloch AU - Romain Pascual PY - 2024 UR - https://arxiv.org/abs/2407.04116 ID - 2407.04116 ER -