73 citations · 445 across the 37 of their papers we have counts for
4 papers · 1 filter
Cartesian closed categories are distributive
Marco Benini
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on usi…
A simplified definition of logically distributive categories
Marco Benini
In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuit…
Radiative observables for linearized gravity on asymptotically flat spacetimes and their boundary induced states
Marco Benini, Claudio Dappiaggi, Simone Murro
We discuss the quantization of linearized gravity on globally hyperbolic, asymptotically flat, vacuum spacetimes and the construction of distinguished states which are both of Hada…
Optimal space of linear classical observables for Maxwell -forms via spacelike and timelike compact de Rham cohomologies
Marco Benini
Being motivated by open questions in gauge field theories, we consider non-standard de Rham cohomology groups for timelike compact and spacelike compact support systems. These coho…