Related papers: Cellular categories and stable independence

We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the…

We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

Cartan-Eilenberg systems play an prominent role in the homological algebra of filtered and graded differential groups and (co)chain complexes in particular. We define the concept of Cartan-Eilenberg systems of abelian groups over a poset.…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of…

We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non-extensional ones. Using the theory of sketches, one may define syntactic categories for type theories in a style…

Let $X$ be an Abelian group of the form $X=\mathbb{R}^m\times K\times D$, where $m\geq 0$, $K$ is a compact totally disconnected group of the special form, $D$ is a discrete group. Let $\xi_i, i=1,2,...,n,n\geq 2,$ be independent random…

Let $\tilde{\mathfrak g}$ be an affine Lie algebra of the type $A_\ell^{(1)}$. We find a combinatorial basis of Feigin-Stoyanovsky's type subspace $W(\Lambda)$ given in terms of difference and initial conditions. Linear independence of the…

A celebrated theorem of Fr\"oberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active…

Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…

We develop methods for proving that certain extensions of polynomial functors do not split naturally. As an application we give a functorial description of the third and the fourth stable homotopy groups of the classifying spaces of free…

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type…

For separable $C^*$-algebras $A$ and $B$, we define a topology on the set $[[A, B]]$ consisting of homotopy classes of asymptotic morphisms from $A$ to $B$. This gives an enrichment of the Connes--Higson asymptotic category over topological…

The perturbative expansion of tensorial field theories in Feynman graphs can be interpreted as weighted generating series of some piecewise linear varieties. This simple fact establishes a link between two a priori distinct fields: the…

We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…

In a previous paper we developed the notions of th-independence and \th-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories…

In this paper, we study a class of cellular automata (CA) called stable cellular automata (SCA) that preserve stability by reflection, modulo-recurrent, and richness. After applying these automata to Sturmian words, we determine some of…

In his theory of unipotent characters of finite groups of Lie type, Lusztig constructed modular categories from two-sided cells in Weyl groups. Brou\'e,Malle and Michel have extended parts of Lusztig's theory to complex reflection groups.…