Related papers: Computing associators of endomorphism fusion categ…

A fusion category is called transparent if the associator involving any invertible object is the identity map. For the Haagerup-Izumi fusion rings with $G = \mathbb{Z}_{2n+1}$ (the $\mathbb{Z}_3$ case is the Haagerup fusion ring with six…

This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and…

Predicting unseen relations that cannot be observed during the training phase is a challenging task in relation extraction. Previous works have made progress by matching the semantics between input instances and label descriptions. However,…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

We compute bifunctors cohomology for matrix polynomials under conjugation and detect candidates for universal classes in higher invariant theory.

Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data…

For a ribbon fusion category $\mathcal{A}$ and a special symmetric commutative Frobenius algebra $F$ in $\mathcal{A}$, we use factorization homology and the ansular correlators obtained via the modular microcosm principle to construct a…

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces…

We develop Morita theory for finitary additive 2-representations of finitary 2-categories. As an application we describe Morita equivalence classes for 2-categories of projective functors associated to finite dimensional algebras and for…

Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories…

It was shown by Ostrik (2003) and Natale (2017) that a collection of twisted group algebras in a pointed fusion category serve as explicit Morita equivalence class representatives of indecomposable, separable algebras in such categories. We…

We present several infinite families of potential modular data motivated by examples of Drinfeld centers of quadratic categories. In each case, the input is a pair of involutive metric groups with Gauss sums differing by a sign, along with…

We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…

This paper is an introduction to work motivated by the question "can multipartite entanglement be detected by homological algebra?" We introduce cochain complexes associated to multipartite density states whose cohomology detects…

The Friends-of-Friends (FoF) algorithm is a standard technique used in cosmological $N$-body simulations to identify structures. Its goal is to find clusters of particles (called groups) that are separated by at most a cut-off radius.…

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…

We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…