Related papers: Coherence for Modalities
We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs and Staton, and the generic construction of the free…
The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in…
Quantum coherence is the outcome of the superposition principle. Recently, it has been theorized as a quantum resource, and is the premise of quantum correlations in multipartite systems. It is therefore interesting to study the coherence…
In this paper we study the emergence of coherence in collective motion described by a system of interacting motiles endowed with an inner, adaptative, steering mechanism. By means of a nonlinear parametric coupling, the system elements are…
Modules for sesquiads and congruence schemes are introduced. It is shown that the corresponding categories are belian and that base change functors establish an ascent datum which allows for a cohomology theory to be established.
This thesis contains results relevant for two different classes of conformal field theory. We partly treat rational conformal field theory, but also derive results that aim at a better understanding of logarithmic conformal field theory.…
We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical…
The paper investigates an evidence-based semantics for epistemic logics. It is shown that the properties of knowledge obtained from a potentially infinite body of evidence are described by modal logic S5. At the same time, the properties of…
We investigate the existence of left and right adjoints to the restriction functor in three categories of continuous representations of a topological group: discrete, linear complete and compact.
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their…
There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledge. Completeness proofs for such logics tend to be…
We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness…
Monoidal categories with additional structure such as a braiding or some form of duality abound in quantum topology. They often appear in tandem with Frobenius algebras inside them. Motivations for this range from the theory of module…
In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely…
First formally defined by Borodin and Olshanski, a coherent system on a graded graph is a sequence of probability measures which respect the action of certain down/up transition functions between graded components. In one common example of…
Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often…