Related papers: A general method to construct cube-like categories…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…

We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…

We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from…

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

Let $ Aut_{mHH}(H)$ denote a set of all automorphisms of a monoidal Hopf algebra $H$ with bijective antipode in the sense of Caenepeel S. and Goyvaerts I. (Commun. Algebra 39, 2216-2240, 2011) and let $G$ be a crossed product group $…

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…

A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category…

Let $\mathcal C$ be a $\mathcal V$-enriched model category. We say that an object $x$ of $\mathcal C$ is homotopy tiny if the total right derived functor of $\mathcal C(x, -) : \mathcal{C} \rightarrow {\mathcal V}$ preserves homotopy…

It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of…

We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category.…

This paper is the third paper of a series devoted to higher dimensional transition systems. The preceding paper proved the existence of a left determined model structure on the category of cubical transition systems. In this sequel, it is…