相关论文: On the obscure axiom for one-sided exact categorie…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

We prove that certain triangulated categories are (weakly) approximable in the sense of A. Neeman. We prove that a triangulated $C$ that is compactly generated by a single object $G$ is weakly approximable if $C(G,G[i])=0$ for $i>1$ (we say…

In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative…

Borrowing inspiration from Marcone and Mont\'{a}lban's one-one correspondence between the class of signed trees and the equimorphism classes of indecomposable scattered linear orders, we find a subclass of signed trees which has an…

Waldhausen categories were introduced to extend algebraic $K$-theory beyond Quillen's exact categories. In this article, we modify Waldhausen's axioms so that it matches better with the theory of extriangulated categories, introducing a…

We prove that if a finite tensor category $\C$ is symmetric, then the monoidal category of one-sided $\C$-bimodule categories is symmetric. Consequently, the Picard group of $\C$ (the subgroup of the Brauer-Picard group introduced by…

In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A.…

We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…

A phantom category is an admissible subcategory with vanishing Grothendieck group of the bounded derived category of coherent sheaves on a smooth projective variety. The goal of this paper is to study the abstract situation when such a…

We introduce a notion of fine Tannakian infinity-categories and prove Tannakian characterization results for symmetric monoidal stable infinity-categories over a field of characteristic zero. It connects derived quotient stacks with…

We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case…

The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the…

We propose a generalization of Quillen's exact category -- arithmetic exact category and we discuss conditions on such categories under which one can establish the notion of Harder-Narasimhan filtrations and Harder-Narsimhan polygons.…

We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify…

Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector…

In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological…

We introduce the concept of a pseudo-cluster tilting subcategory from the viewpoint of the fact that the quotient of an exact category by a cluster tilting subcategory is an abelian category. We prove that the quotients in the case of…

Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…