Related papers: Special Precovered Categories of Gorenstein Catego…
This article describes the cocompletion of a category $C$ with finite limits as the homotopy category of some equivalence 2-groupoids in coproducts of elements of $C$. This yields a simple link between several definitions of an infinitary…
A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can…
Given a finite abelian group $G$ and cyclic subgroups $A$, $B$, $C$ of $G$ of the same order, we find necessary and sufficient conditions for $A$, $B$, $C$ to admit a common transversal for the cosets they afford. For an arbitrary number of…
We introduce machinery to allow ``cut-and-paste''-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives…
We study in this paper the cluster category C(S,M) of a marked surface (S,M). We explicitly describe the objects in C(S,M) as direct sums of homotopy classes of curves in (S,M) and one-parameter families related to closed curves in (S,M).…
In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when…
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the…
Relations between Gorenstein derived categories, Gorenstein defect categories and Gorenstein stable categories are established. Using these, the Gorensteinness of an algebra $A$ and invariants with respect to recollements of the bounded…
We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given…
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric…
In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a…
We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under…
A group $G$ is said to be a $C$-group if every subgroup $H$ has a permutable complement, i.e. if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H \cap K=1$. In this paper, we study the profinite counterpart of this concept. We say…
We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…
Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…
Let $( \mathcal{A^{'}},\mathcal{A},\mathcal{A^{''}},i^\ast,i_\ast,i_!,j_!,j^\ast,j_\ast)$ be a recollement of abelian categories. We proved that every ICE-closed subcategory (resp. epibrick, monobrick) in $\mathcal{A^{'}}$ or…
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for…
Let $\mathcal C$ be a category of a set of (small) categories. This paper concerns with the ${\mathbf {Cat}}$-valued presheaves and sieves over category $\mathcal C.$ Since ${\mathbf {Cat}}$ is not a concrete category, existing definition…
We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro-$\mathcal{C}$ completions of the…
Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $CMS(A)$ be its stable category of maximal CM $A$-modules. Suppose $CMS(A) \cong CMS(B)$ as triangulated categories. Then we show (1) If $A$ is a complete intersection of codimension…