Showing math.CTShow all
2 papers · 1 filter
math.CT2026
A taxonomy of categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper…
math.CT2025
Biased elementary doctrines and quotient completions
Cipriano Junior Cioffo
In this work, we fill the gap between the elementary quotient completion introduced by Maietti and Rosolini and the exact completion of a category with weak finite limits, as descr…