English
Related papers

Related papers: On classification of modular categories by rank

200 papers

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

Algebraic Geometry · Mathematics 2020-03-18 Dmitri Orlov

We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists. As a corollary, we obtain a complexity…

Computational Complexity · Computer Science 2025-03-04 Alberto Larrauri , Stanislav Živný

We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We intro- duce a notion of rank of finitely generated models and we prove, when T has at most countably many…

Logic · Mathematics 2008-04-21 Abderezak Ould Houcine

We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$…

Algebraic Topology · Mathematics 2025-01-15 David Reutter , Markus Zetto

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

Category Theory · Mathematics 2007-05-23 Phung Ho Hai

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

Logic · Mathematics 2017-05-26 Luca Mauri

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

Logic in Computer Science · Computer Science 2023-08-17 Kobe Wullaert , Ralph Matthes , Benedikt Ahrens

We calculate the number of the isomorphism class of the finite flat models over the ring of integers of an absolutely ramified $p$-adic field of constant group schemes of rank two over finite fields, by counting the rational points of a…

Number Theory · Mathematics 2020-11-24 Naoki Imai

We classify connected \'etale algebras in (possibly non-unitary) modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le5$. We also comment on Lagrangian algebra, anyon condensation, and physical applications. Concretely,…

Quantum Algebra · Mathematics 2024-05-03 Ken Kikuchi

We first prove an analogue of Lagrange theorem for global dimensions of fusion categories, then we give a complete classifications of pre-modular fusion categories of integer global dimensions less than or equal to $10$.

Quantum Algebra · Mathematics 2021-03-08 Zhiqiang Yu

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

Rings and Algebras · Mathematics 2023-02-15 Mamta Balodi , Abhishek Banerjee , Samarpita Ray

We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module…

Quantum Algebra · Mathematics 2017-06-20 Sonia Natale

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…

Algebraic Topology · Mathematics 2014-10-01 Stefan Schwede , Brooke Shipley

Multiclass classification (MCC) is a fundamental machine learning problem of classifying each instance into one of a predefined set of classes. In the deep learning era, extensive efforts have been spent on developing more powerful neural…

Machine Learning · Computer Science 2022-12-22 Nan Wang , Zhen Qin , Le Yan , Honglei Zhuang , Xuanhui Wang , Michael Bendersky , Marc Najork

In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…

Logic in Computer Science · Computer Science 2023-07-11 Haruka Tomita

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

Logic in Computer Science · Computer Science 2019-03-14 Pierre-Louis Curien , Samuel Mimram

In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.

Category Theory · Mathematics 2016-02-09 Ana Paula Santana , Ivan Yudin

We give the stratification by the symmetric tensor rank of all degree $d \ge 9$ homogeneous polynomials with border rank $5$ and which depend essentially on at least 5 variables, extending previous works (A. Bernardi, A. Gimigliano, M.…

Algebraic Geometry · Mathematics 2017-02-08 Edoardo Ballico

We use the computer algebra system GAP to classify modular data up to rank 12. This extends the previously obtained classification of modular data up to rank 6. Our classification includes all the modular data from modular tensor categories…

Quantum Algebra · Mathematics 2025-07-04 Siu-Hung Ng , Eric C. Rowell , Xiao-Gang Wen

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

Representation Theory · Mathematics 2025-04-11 Rasool Hafezi , Javad Asadollahi , Razieh Vahed , Yi Zhang