3 papers
math.CT2024
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…
cs.LO2021
Fuzzy Algebraic Theories
Davide Castelnovo, Marino Miculan
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of ter…
cs.LO2020
Closure hyperdoctrines, with paths
Davide Castelnovo, Marino Miculan
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspec…