相关论文: Measurable Categories and 2-Groups

In this series of papers, we propose a theory of enumerative invariants counting self-dual objects in self-dual categories. Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL}…

Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. These are equivalent to…

We apply a new and mathematically rigorous method for the quantization of constrained systems to two-dimensional gauge theories. In this method, which quantizes Marsden-Weinstein symplectic reduction, the inner product on the physical state…

A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…

In this paper we continue our investigation of the global categorical symmetries that arise when gauging finite higher groups and their higher subgroups with discrete torsion. The motivation is to provide a common perspective on the…

We present a detailed account of the isomonodromic quantization of dimensionally reduced Einstein gravity with two commuting Killing vectors. This theory constitutes an integrable ``midi-superspace" version of quantum gravity with…

We give an elementary description of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ of internal categories, functors and natural transformations, where $\mathcal{E}$ is a category modelling Lawvere's elementary theory of the category…

In the canonical approach to Lorentzian Quantum General Relativity in four spacetime dimensions an important step forward has been made by Ashtekar, Isham and Lewandowski some eight years ago through the introduction of an appropriate…

We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…

We describe the quantization of 2-plectic manifolds as they arise in the context of the quantum geometry of M-branes and non-geometric flux compactifications of closed string theory. We review the groupoid approach to quantizing Poisson…

We propose a mathematical structure, based on a noncommutative geometry, which combines essential aspects of general relativity and quantum mechanics, and leads to correct "limiting cases" of both these theories. We quantize a groupoid…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

In this paper a notion of {\it generalized 2-vector space} is introduced which includes Kapranov and Voevodsky 2-vector spaces. Various kinds of generalized 2-vector spaces are considered and examples are given. The existence of non free…

Starting from the groupoid approach to Schwinger's picture of Quantum Mechanics, a proposal for the description of symmetries in this framework is advanced.It is shown that, given a groupoid $G\rightrightarrows \Omega$ associated with a…

This review contains a summary of work by J.-L. Gervais and the author on the operator approach to 2d gravity. Special emphasis is placed on the construction of local observables -the Liouville exponentials and the Liouville field itself -…

There are exactly three finite subgroups of SU(2) that act irreducibly in the spin 1 representation, namely the binary tetrahedral, binary octahedral and binary icosahedral groups. In previous papers I have shown how the binary tetrahedral…

Modular tensor categories are generalizations of the representation categories of quantum groups at roots of unity axiomatizing the properties necessary to produce 3-dimensional TQFTs. Although other constructions have since been found,…