3 papers
math.CT2026
Quotients-comprehensions duality in relational doctrines
Francesco Dagnino, Fabio Pasquali
We establish a duality between quotients and comprehensions in relational doctrines, a class of indexed posets modelling (a minimal fragment of) the calculus of relations. We show…
math.CT2026
Projective covers, doctrines of algebras and the relational quotient completion
Francesco Dagnino, Fabio Pasquali
The extensional quotient completion of relational doctrines provides a common generalization of both the exact completion of categories with weak finite limits and the elementary q…
math.CT2024
The Relational Quotient Completion
Francesco Dagnino, Fabio Pasquali
Taking a quotient roughly means changing the notion of equality on a given object, set or type. In a quantitative setting, equality naturally generalises to a distance, measuring h…