73 citations · 445 across the 37 of their papers we have counts for
4 papers · 1 filter
A C*-algebra for quantized principal U(1)-connections on globally hyperbolic Lorentzian manifolds
Marco Benini, Claudio Dappiaggi, Thomas-Paul Hack +1
The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular,…
Quantum Field Theory on Curved Backgrounds -- A Primer
Marco Benini, Claudio Dappiaggi, Thomas-Paul Hack
Goal of this review is to introduce the algebraic approach to quantum field theory on curved backgrounds. Based on a set of axioms, first written down by Haag and Kastler, this met…
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism
Marco Benini
This reports introduces a novel sound and complete semantics for first order intuitionistic logic, in the framework of category theory and by the computational interpretation of th…
Quantized Abelian principal connections on Lorentzian manifolds
Marco Benini, Claudio Dappiaggi, Alexander Schenkel
We construct a covariant functor from a category of Abelian principal bundles over globally hyperbolic spacetimes to a category of *-algebras that describes quantized principal con…