English
Related papers

Related papers: A parametricity-based formalization of semi-simpli…

200 papers

We introduce a version of skein categories of surfaces which depends on a tensor ideal in a linear ribbon category, thereby extending the existing theory to the setting of non-semisimple TQFTs. We obtain modified notions of skein algebras…

Quantum Algebra · Mathematics 2026-01-29 Jennifer Brown , Benjamin Haïoun

Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane…

Combinatorics · Mathematics 2020-03-05 Michael Cuntz , Paul Mücksch

Group interactions occur frequently in social settings, yet their properties beyond pairwise relationships in network models remain unexplored. In this work, we study homophily, the nearly ubiquitous phenomena wherein similar individuals…

Social and Information Networks · Computer Science 2022-07-26 Arnab Sarker , Natalie Northrup , Ali Jadbabaie

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

Rings and Algebras · Mathematics 2014-03-18 G. Militaru

For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We…

Combinatorics · Mathematics 2011-12-14 Gunnar Floystad

Partial cubes are isometric subgraphs of hypercubes. Structures on a graph defined by means of semicubes, and Djokovi\'{c}'s and Winkler's relations play an important role in the theory of partial cubes. These structures are employed in the…

Combinatorics · Mathematics 2007-05-23 Sergei Ovchinnikov

We show that complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups, satisfy a categorical version of the Baum-Connes conjecture with trivial coefficients. This approach, based on…

K-Theory and Homology · Mathematics 2020-12-21 Christian Voigt

For any 1-reduced simplicial set $K$ we define a canonical, coassociative coproduct on $\Om C(K)$, the cobar construction applied to the normalized, integral chains on $K$, such that any canonical quasi-isomorphism of chain algebras from…

Algebraic Topology · Mathematics 2024-09-11 Kathryn Hess , Paul-Eugène Parent , Jonathan Scott , Andrew Tonks

We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…

Algebraic Topology · Mathematics 2023-05-25 Cary Malkiewich

In this paper, we settle the homotopy properties of the infinity-morphisms of homotopy (bial)-gebras over properads, i.e. algebraic structures made up of operations with several inputs and outputs. We start by providing the literature with…

Algebraic Topology · Mathematics 2025-05-29 Eric Hoffbeck , Johan Leray , Bruno Vallette

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…

Category Theory · Mathematics 2021-11-12 Youssef Mousaaid , Alistair Savage

In this article, we expand upon the concepts introduced by David Spivak about the relationship between the category $\mathbf{UM}$ of uber metric spaces and the category $\mathbf{sFuz}$ of fuzzy simplicial sets. We show that fuzzy simplicial…

Polyhedra and spectrahedra over the real numbers, or more generally their images under linear maps, are respectively the feasible sets of linear and semidefinite programming, and form the family of semidefinite-representable sets. This…

Algebraic Geometry · Mathematics 2026-05-13 Corentin Cornou , Simone Naldi , Tristan Vaccon

We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…

Algebraic Topology · Mathematics 2018-07-24 Danny Stevenson

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

Group Theory · Mathematics 2018-04-24 Jorge Almeida , Alfredo Costa

In representation theory of finite-dimensional algebras, (semi)bricks are a generalization of (semi)simple modules, and they have long been studied. The aim of this paper is to study semibricks from the point of view of $\tau$-tilting…

Representation Theory · Mathematics 2018-06-07 Sota Asai

We study Karoubian tensor categories which interpolate representation categories of families of so-called easy quantum groups in the same sense in which Deligne's interpolation categories $\mathrm{\underline{Rep}}(S_t)$ interpolate the…

Representation Theory · Mathematics 2021-08-24 Johannes Flake , Laura Maassen

Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal category is a special case of a bicategory, we formulate complex…

Category Theory · Mathematics 2022-03-24 Bartosz Milewski

Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular…

Combinatorics · Mathematics 2016-03-17 Benjamin Braun , Liam Solus

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

Algebraic Geometry · Mathematics 2007-08-14 Grigory Garkusha