1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
Validity of contextual formulas (extended version)
Javier Esparza, Rubén Rubio
Many well-known logical identities are naturally written as equivalences between contextual formulas. A simple example is the Boole-Shannon expansion $c[p] \equiv (p \wedge c[\math…
Left-Linear Rewriting in Adhesive Categories
Paolo Baldan, Davide Castelnovo, Andrea Corradini +1
When can two sequential steps performed by a computing device be considered (causally) independent? This is a relevant question for concurrent and distributed systems, since indepe…
On The Axioms Of -Adhesive Categories
Davide Castelnovo, Marino Miculan
Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a…