Related papers: Monoidal categories graded by crossed modules and …
We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the…
We use geometric ideas coming from certain classic algebraic constructions to associate, to every classical field theory, a symmetric monoidal double functor from the double category of cobordisms with corners to a certain symmetric…
We construct a new family of exact quantum field theories modeled on hyperbolic geometry, called {\it quantum hyperbolic field theories} (QHFTs). The QHFTs are defined for a $(2+1)$-bordism category based on the set of compact oriented…
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
Braided-enriched monoidal categories were introduced in work of Morrison-Penneys, where they were characterized using braided central functors. Recent work of Kong-Yuan-Zhang-Zheng and Dell extended this characterization to an equivalence…
In this work, we use Ising chain and Kitaev chain to check the validity of an earlier proposal in arXiv:2011.02859 that enriched fusion (higher) categories provide a unified categorical description of all gapped/gapless quantum liquid…
We develop a so-called theory of ensembles in phase space and use it to investigate the construction of a quantum-classical hybrid theory. We use Galilei covariance and the Lie algebra of the Galilei group as a guide to constructing the…
We define a family of quantum invariants of closed oriented $3$-manifolds using spherical multi-fusion categories. The state sum nature of this invariant leads directly to $(2+1)$-dimensional topological quantum field theories…
Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of…
This paper develops a theory of monoidal categories relative to a braided monoidal category, called augmented monoidal categories. For such categories, balanced bimodules are defined using the formalism of balanced functors. The two main…
Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher…
J.H.C. Whitehead introduced the concept of crossed modules in the early 20th century. These crossed modules are crucial for algebraic models of 2-type homotopy, which involve connected spaces with no higher than second-degree homotopy…
We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical and include permutative categories and…
A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…
For a group G, the notion of a ribbon G-category was introduced by the second author in a previous work with a view towards constructing 3-dimensional homotopy quantum field theories (HQFT's) with target K(G,1). We discuss here how to…
Conformal nets are a mathematical model for conformal field theory, and defects between conformal nets are a model for an interaction or phase transition between two conformal field theories. In the preceding paper of this series, we…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.