Ultraproducts in abstract categorical logic

Marc Aiguier, Isabelle Bloch, Romain Pascual

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formul…