4 papers
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 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…
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…
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 through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investig…