Related papers: Toy quantum categories
We present a consistent formulation of quantum game theory that accommodates all possible strategies in Hilbert space. The physical content of the quantum strategy is revealed as a family of classical games representing altruistic game play…
To any essentially small tensor-triangulated category $\mathcal{K}$ and Thomason subset $Y \subseteq \mathrm{Spc}(\mathcal{K})$ we associate a ringed space $(\mathrm{Spf}(\mathcal{K},Y), \mathcal{O}_{\mathrm{Spf}(\mathcal{K},Y)}),$ called…
This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to…
We propose a new line of attack to create a finite quantum theory which includes general relativity and (perhaps) the standard model in its low energy limit. The theory would emerge from the categorical approach. A structure is observed on…
In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor…
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
We introduce the concept of Frobenius theory as a generalisation of Lawvere's functorial semantics approach to categorical universal algebra. Whereas the universe for models of Lawvere theories is the category of sets and functions, or more…
In this series of papers, we investigate the projective framework initiated by Jerzy Kijowski and Andrzej Oko{\l}\'ow, which describes the states of a quantum theory as projective families of density matrices. A strategy to implement the…
We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As…
We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with…
We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of…
Quantum interference phenomena are widely viewed as posing a challenge to the classical worldview. Feynman even went so far as to proclaim that they are the only mystery and the basic peculiarity of quantum mechanics. Many have also argued…
We construct lattice gauge field theory based on a quantum group on a lattice of dimension 1. Innovations include a coalgebra structure on the connections, and an investigation of connections that are not distinguishable by observables. We…
We analyse a class of quantum field theory models illustrating some of the possibilities that have emerged in the general study of the short distance properties of superselection sectors, performed in a previous paper (together with R.…
The original Wigner's friend paradox is a gedankenexperiment involving an observer described by an external agent. The paradox highlights the tension between unitary evolution and collapse in quantum theory, and is sometimes taken as…
We construct a fully faithful functor from the category C_F of finite-dimensional representations of Felder's (dynamical) elliptic quantum group E_{tau,gamma}(gl(n)) to a cretain category D_B of (infinite-dimensional) representations of…
We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples…