相关论文: On Reedy Model Categories

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…

Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…

We give a proof of the folklore theorem, attributed to Goodwillie, that there are precisely nine model structures on the category $\mathsf{Set}$ of sets. This result is deduced from a complete study of lifting problems and the ensuing…

In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for…

Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…

The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…

Voevodsky's derived category of motives is the main arena today for the study of algebraic cycles and motivic cohomology. In this paper we study whether the inclusions of three important subcategories of motives have a left or right…

We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model…

We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.

In this paper, we consider categories with colored morphisms and functors such that morphisms assigned to morphisms with a common color have a common color. In this paper, we construct a morphism-colored functor such that any…

We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of…

We show that every small model category that satisfies certain size conditions can be completed to yield a combinatorial model category, and conversely, every combinatorial model category arises in this way. We will also see that these…

The aim of this paper is to define certain algebraic structures coming from generalized Reidemeister moves of singular knot theory. We give examples, show that the set of colorings by these algebraic structures is an invariant of singular…

Several methods for constructing left determined model structures are expounded. The starting point is Olschok's work on locally presentable categories. We give sufficient conditions to obtain left determined model structures on a full…

We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for…