2 citations · 4 across the 14 of their papers we have counts for
4 papers · 1 filter
On categorical structures arising from implicative algebras: from topology to assemblies
Samuele Maschio, Davide Trotta
Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (bo…
Quotients, pure existential completions and arithmetic universes
Maria Emilia Maietti, Davide Trotta
We provide a new description of Joyal's arithmetic universes through a characterization of the exact and regular completions of pure existential completions. We show that the regul…
Specification and verification of a linear-time logic for graph transformation
Fabio Gadducci, Andrea Laretto, Davide Trotta
We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logi…
Weakly Markov categories and weakly affine monads
Tobias Fritz, Fabio Gadducci, Paolo Perrone +1
Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal categories where each object is equipped with the…