Categorical formulation of quantum algebras

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between finite-dimensional C*-algebras and certain types of dagger-Frobenius monoids in the category of Hilbert spaces. Using this technology, we recast the spectral theorems for commutative C*-algebras and for normal operators into an explicitly categorical language, and we examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos. We describe the relevance of these results for topological quantum field theory.Comment: 34 pages, to appear in Communications in Mathematical Physic

Trace as an alternative decategorification functor

Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive categories with additional structure and decategorification is usually given by the (split) Grothendieck group. In this expository article we study an alternative decategorification functor given by the trace or the zeroth Hochschild--Mitchell homology. We show that this form of decategorification endows any 2-representation of the categorified quantum sl(n) with an action of the current algebra U(sl(n)[t]) on its center.Comment: 47 pages with tikz figures. arXiv admin note: text overlap with arXiv:1405.5920 by other author

Turning big bang into big bounce: II. Quantum dynamics

We analyze the big bounce transition of the quantum FRW model in the setting of the nonstandard loop quantum cosmology (LQC). Elementary observables are used to quantize composite observables. The spectrum of the energy density operator is bounded and continuous. The spectrum of the volume operator is bounded from below and discrete. It has equally distant levels defining a quantum of the volume. The discreteness may imply a foamy structure of spacetime at semiclassical level which may be detected in astro-cosmo observations. The nonstandard LQC method has a free parameter that should be fixed in some way to specify the big bounce transition.Comment: 14 pages, no figures, version accepted for publication in Class. Quant. Gra