2 citations · 4 across the 14 of their papers we have counts for
Showing 2023 · math.CTShow all
3 papers · 2 filters
math.CT2023★ 1 cited
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…
math.CT2023
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…
math.CT2023
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…