1 citations · 1 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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…