Related papers: Simplicial model structures on pro-categories
We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use "algebraic" characterizations of fibrations to produce factorizations…
The well-known theory of Pontryagin duality provides a strong connection between the homology and cohomology theories of a profinite group in appropriate categories. A construction for taking the `profinite direct sum' of an infinite family…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…
In this paper, we study the category $C(Rep(\mathcal{Q}, \mathcal{A}))$ of complexes of representations of quiver $\mathcal{Q}$ with values in an abelian category $\mathcal{A}$. We develop a method for constructing some model structures on…
Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by…
We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct…
Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…
In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…
We compute the Bousfield localizations and Bousfield colocalizations of discrete model categories, including the homotopy categories and the algebraic $K$-groups of these localizations and colocalizations. We prove necessary and sufficient…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$.
In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…
Let $\text{Ch}$ be the category of (possibly unbounded) chain complexes of abelian groups. In this note we construct the standard Quillen model structure on $\text{Ch}$, by a method that is somewhat different from the standard one.…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for…
In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a…
In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…
We study two subclasses of the class of automatic structures: automatic structures of polynomial growth and Presburger structures. We present algebraic characterisations of the groups and the equivalence structures in these two classes.
This paper introduces a model that identifies spatial relationships for a structural analysis based on the concept of simplicial complex. The spatial relationships are identified through overlapping two map layers, namely a primary layer…