2 papers
math.LO2026
Quasitoposes as elementary quotient completions
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact comple…
cs.LO2025
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
Francesco Dagnino, Fabio Pasquali
Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalenc…