Related papers: Coherence for monoidal $G$-categories and braided …

For $n\in \mathbb{N}$, a group is called $n$-coherent if every subgroup of type $\mathsf{F}_n$ is of type $\mathsf{F}_{n+1}$. For $n\ge 1$, we observe that graphs of groups with $n$-coherent vertex groups and virtually poly-cyclic edge…

Recently, Chang--Haiden--Schroll shows that the braid group action on full exceptional collections in a triangulated category is not transitive but has infinitely many orbits in general. Their proof is based on a geometric model and the…

Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with…

We study crossed $S$-matrices for braided $G$-crossed categories and reduce their computation to a submatrix of the de-equivariantization. We study the more general case of a category containing the symmetric category $\mathrm{Rep}(A,z)$…

Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this…

In the previous version of this paper we prove a theorem on the boundary behavior of the conical plurisubharmonic measure. However, the proof turns out to be incomplete. In the present version we give a corrected proof of this theorem. We…

An example of double cross coproducts with both non-trivial left coaction and non-trivial right coaction in strictly braided tensor categories is given.

A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore,…

Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we…

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category…

In this paper we define a monoid of pseudo braids and prove that this monoid is isomorphic to a singular braid monoid. We also prove an analogue of Markov's theorem for pseudo braids.

We develop the Witt group for certain braided monoidal categories with duality. In case of a braided fusion category over an algebraically closed field of characteristic zero, we explicitly describe this structure. We then use this…

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…

We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of…

It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…

Let $(H,\a_H)$ be a Hom-Hopf algebra, $(A,\a_A)$ a right $H$-comodule algebra and $(C,\a_C)$ a left $H$-module coalgebra. Then we have the category $_A\mathcal{M}(H)^C$ of Hom-type Doi-Hopf modules. The aim of this paper is to make the…

The aim of this article is to prove that the Torelli group action on the G-character varieties is ergodic for G a connected, semi-simple and compact Lie group.

We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it determines a normal oplax monoidal structure on the…

Suppose that $G$ is a groupoid acting on a small category $H$ in the sense of \cite[Definition 4]{NOT} and $H\times_\alpha G$ is the resulting semi-direct product category (as in \cite[Proposition 8]{NOT}). We show that there exists a…

We define an action of the braid group of a simple Lie algebra on the space of imaginary roots in the corresponding quantum affine algebra. We then use this action to determine an explicit condition for a tensor product of arbitrary…