Related papers: Categorifying the ZX-calculus
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
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…
We develop techniques for constructing model structures on chain complexes valued in accessible exact categories, and apply this to show that for a closed symmetric monoidal, locally presentable exact category $\mathpzc{E}$ with exact…
We construct the crossed product of a C(X)-algebra by an endomorphism, in such a way that it becomes induced by a Hilbert C(X)-bimodule. Furthermore we introduce the notion of C(X)-category, and discuss relationships with crossed products…
We study the duplicial objects of Dwyer and Kan, which generalize the cyclic objects of Connes. We describe duplicial objects in terms of the decalage comonads, and we give a conceptual account of the construction of duplicial objects due…
In this paper, we propose a topological classification of points for 2D discrete binary images. This classification is based on the values of the calculus of topological numbers. Six classes of points are proposed: isolated point, interior…
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic.
We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…
We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical…
We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…
We develop theory of multiplicity maps for compact quantum groups, as an application, we obtain a complete classification of right coideal $C^*$-algebras of $C(SU_q(2))$ for $q\in [-1,1]\setminus \{0\}$. They are labeled with Dynkin…
We study the monoidal structure of the standard strictification functor $\textrm{st}:\mathbf{Bicat} \rightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the…
We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…
Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category…
We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…
This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology…
The Hochschild and cyclic homology groups are computed for the algebra of `cusp' pseudodifferential operators on any compact manifold with boundary. The index functional for this algebra is interpreted as a Hochschild 1-cocycle and…
An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…