2 citations · 4 across the 14 of their papers we have counts for
4 papers · 1 filter
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
Maria Emilia Maietti, Davide Trotta
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising from the Hyland, Johnstone and Pitts tripos-to-topos construction. We invest…
Between Markov and restriction. Two more monads on categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. In a previou…
A topos for extended Weihrauch degrees
Samuele Maschio, Davide Trotta
Weihrauch reducibility is a notion of reducibility between computational problems that is useful to calibrate the uniform computational strength of a multivalued function. It compl…
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…