Related papers: On Cofibrations of Permutative categories
We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…
We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.
In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of…
We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…
The representation theory of a commutative noetherian ring is tightly controlled by its prime spectrum. In this article we use the prime spectrum to describe mutation of cosilting objects in the derived category of a commutative noetherian…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
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…
We prove a conjecture of Freed and Hopkins, which relates deformation classes of reflection positive, invertible, $d$-dimensional extended field theories with fixed symmetry type to a certain generalized cohomology of a Thom spectrum. Along…
We show that the set of all (unimodular and non-unimodular) free cyclic submodules of T^2, where T is the ring of ternions over a commutative field, admits a point model in terms of a smooth algebraic variety.
We study the representations of the commutator subgroup of the braid group with n strands in the symmetric group of degree r. Motivated by some experimental results, we conjecture that for n>r, every such representation is trivial.
We consider the derived category of permutation modules for a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the spectrum of its compact objects, by reducing the…
The concept of_refinement_ in type theory is a way of reconciling the "intrinsic" and the "extrinsic" meanings of types. We begin with a rigorous analysis of this concept, settling on the simple conclusion that the type-theoretic notion of…
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…
In this paper we show how to modify cofibrations in a monoidal model category so that the tensor unit becomes cofibrant while keeping the same weak equivalences. We obtain aplications to enriched categories and coloured operads in stable…
In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled…
We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we…
The paper provides a version of the rational Hodge conjecture for $\3\dg$ categories. The noncommutative Hodge conjecture is equivalent to the version proposed in \cite{perry2020integral} for admissible subcategories. We obtain examples of…
It is a classical result that the category of finitely-generated free monoids serves as a PROP for commutative bialgebras. Attaching permutations to fix the order of multiplication, we construct an extension of this category that is…
The free automorphisms of a class of Reinhardt free spectrahedra are trivial.