Related papers: Homotopy weighted colimits

Suppose given a Frobenius category E, i.e. an exact category with a big enough subcategory B of bijectives. Let_E_ := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in…

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

Suppose M is a noncompact connected smooth 2-manifold without boundary and let D(M)_0 denote the identity component of the diffeomorphism group of M with the compact-open C^infty-topology. In this paper we investigate the topological type…

D. G. Higman generalized a coherent configuration and defined a weight. In this article, we will modify the definition and investigate weights on coherent configurations. If our weights are on a thin homogeneous coherent configuration, that…

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…

We give a geometric model for the category of coherent sheaves over the weighted projective line of type $(p,q)$ in terms of an annulus with marked points on its boundary. We establish a bijection between indecomposable sheaves over the…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

This paper presents a framework based on matrices of monoids for the study of coupled cell networks. We formally prove within the proposed framework, that the set of results about invariant synchrony patterns for unweighted networks also…

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…

Let ${\cal L}$ be a variation of Hodge structures on the complement $X^{*}$ of a normal crossing divisor (NCD) $ Y$ in a smooth analytic variety $X$ and let $ j: X^{*} = X - Y \to X $ denotes the open embedding. The purpose of this paper is…

In 1997 Rosenthal and York defined generalized Hamming weights for convolutional codes, by regarding a convolutional code as an infinite dimensional linear code endowed with the Hamming metric. In this paper, we propose a new definition of…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to…

Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $\Sigma_{g,d}$…

In this paper, we introduce a method to construct new categories which look like "cubes", and discuss model structures on the presheaf categories over them. First, we introduce a notion of thin-powered structure on small categories, which…

Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…