Related papers: The axioms for n-angulated categories
The mathematical axiom systems for quantum field theory grew out of Hilbert's sixth problem, that of stating the problems of quantum theory in precise mathematical terms. There have been several competing mathematical systems of axioms, and…
In this paper, we consider $n$-perforated Yoneda algebras for $n$-angulated categories, and show that, under some conditions, $n$-angles induce derived equivalences between the quotient algebras of $n$-perforated Yoneda algebras. This…
In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…
The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.
Let $n$ be a positive integer. We show that an $n$-extension closed subcategory of an $n$-exangulated category naturally inherits an $n$-exangulated structure through restriction of the ambient $n$-exangulated structure. Furthermore, we…
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…
In this paper, we have studied the axiomatics of {\it Ann-categories} and {\it categorical rings.} These are the categories with distributivity constraints whose axiomatics are similar with those of ring structures. The main result we have…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
Let T be a triangulated category, A a graded abelian category and h: T -> A a homology theory on T with values in A. If the functor h reflects isomorphisms, is full and is such that for any object x in A there is an object X in T with an…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's…
Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of mutation of subcategories in an extriangulated category is defined in this…
We show that the category of finite-dimensional modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category is equivalent to the Gabriel-Zisman localisation of the category with respect to a certain class…
The famous theorems of Cartan, related to the axiom of $r$-planes, and Leung-Nomizu about the axiom of $r$-spheres were extended to K\"ahler geometry by several authors. In this paper we replace the strong notions of totally geodesic…
We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a…
Operads may be represented as symmetric monoidal functors on a small symmetric monoidal category. We discuss the axioms which must be imposed on a symmetric monoidal functor in order that it give rise to a theory similar to the theory of…
The main goal of this paper is to show that a wide variety of infinite-dimensional algebras all share a common structure, including a triangular decomposition and a theory of weights. This structure allows us to define and study the BGG…