Related papers: Cellular categories and stable independence

We give a topological description of Ext groups between simple representations of categories via a nerve type construction. We use it to show that the Koszulity of indiscretely based category algebras is equivalent to the locally bouquet…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

We develop a general theory of cluster categories, applying to a 2-Calabi-Yau extriangulated category $\mathcal{C}$ and cluster-tilting subcategory $\mathcal{T}$ satisfying only mild finiteness conditions. We show that the structure theory…

Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a…

In this paper, we produce a cellular motivic spectrum of motivic modular forms over $\R$ and $\C$, answering positively to a conjecture of Dan Isaksen. This spectrum is constructed to have the appropriate cohomology, as a module over the…

Motivated by Gr\"obner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant…

The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and…

Inspired by the classical category theorems of Halmos and Rohlin for the discrete measure preserving transformations, we prove analogous results in the abstract setting of unitary and isometric C_0-semigroups on a separable Hilbert space.…

Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other…

We observe that a simple condition suffices to describes non-forking independence over models in a stable theory. Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets,…

The notion of regular cell complexes plays a central role in topological combinatorics because of its close relationship with posets. A generalization, called totally normal cellular stratified spaces, was introduced by the third author by…

We consider an oriented version of the stable symplectic category defined in \cite{N}. We show that the group of monoidal automorphisms of this category, that fix each object, contains a natural subgroup isomorphic to the solvable quotient…

In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: simple theories can be combined into more complex ones, and…

The graded cellularity of Libedinsky Double Leaves, which form a basis for the endomorphism ring of the Bott_Samelson_Soergel bimodules, allows us to view the Kazhdan_Lusztig polynomials as graded decomposition numbers. Using this point of…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…

The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

In equivariant topology, Greenlees and May used Mackey functors to show that, rationally, the stable homotopy category of $G$-spectra over a finite group $G$ splits as a product of simpler module categories. We extend the algebraic part…

We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We…