Related papers: On Krull-Schmidt bicategories

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories,…

Building on a bijection of Vandervelde, we enumerate certain unimodal sequences whose alternating sum equals zero. This enables us to refine the enumeration of strict partitions with respect to the number of parts and the BG-rank.

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…

This paper presents a bicomplex version of the Spectral Decomposition Theorem on infinite dimensional bicomplex Hilbert spaces. In the process, the ideas of bounded linear operators, orthogonal complements and compact operators on bicomplex…

We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…

We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

We define the notion of 2-filtered 2-category and give an explicit construction of the bicolimit of a category valued 2-functor. A category considered as a trivial 2-category is 2-filtered if and only if it is a filtered category, and our…

In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…

We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated…

We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd…

For an arbitrary commutative ring k and t in k, we construct a 2-functor S_t which sends a tensor category to a new tensor category. By applying it to the representation category of a bialgebra we obtain a family of categories which…

The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…

We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…

Using a sums of squares formula for two variable polynomials with no zeros on the bidisk, we are able to give a new proof of a representation for distinguished varieties. For distinguished varieties with no singularities on the two-torus,…

Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well…

We give an explicit characterization of which direct products $G$ of surface groups of Euclidean type satisfy that the fixed subgroup of any automorphism (or endomorphism) of $G$ is compressed, and of which is it always inert.