Related papers: Coherence for invertible objects and multi-graded …
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting…
This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from $(A\wedge B)\vee(C\wedge D)$ to ${(A\vee C)\wedge(B\vee D)}$, for $\wedge$ and $\vee$ being two biendofunctors.…
A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…
We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated…
We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of…
We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…
We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
In this paper we describe a homotopy torsion theory in the category of small symmetric monoidal categories. Thanks to the use of natural isomorphisms as basis for the nullhomotopy structure, this homotopy torsion theory enjoys some…
This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…
For a complex projective space the inertia group, the homotopy inertia group and the concordance inertia group are isomorphic. In complex dimension 4n+1, these groups are related to computations in stable cohomotopy. Using stable homotopy…
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects,…
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…
We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…
A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…
We extend the formalism of Hopf cyclic cohomology to the context of braided categories. For a Hopf algebra in a braided monoidal abelian category we introduce the notion of stable anti-Yetter-Drinfeld module. We associate a para-cocyclic…
In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…