23 citations · 34 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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…
math.CT2021★ 7 cited
Doctrines, modalities and comonads
Francesco Dagnino, Giuseppe Rosolini
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are charac…