Related papers: Gabriel localization in functor categories

We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour…

Let $\mathcal{C}$ be a small category and let $R$ be a dg-representation of the category $\mathcal{C}$, that is, a pseudofunctor from a small category to the category of small dg $k$-categories, where $k$ is a commutative unital ring. In…

We construct a functor from the Hecke category to a groupoid built from the underlying Coxeter group. This fixes a gap in an earlier work of the authors. This functor provides an abstract realization of the localization of the Hecke…

We prove that there exists a geometric bijection between the sets of adjoint and coadjoint orbits of a semidirect product, provided a similar bijection holds for particular subgroups. We also show that under certain conditions the homotopy…

Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category of separable complex C*-algebras. Namely, they are in bijective…

It is known that a topological correspondence \((X,\lambda)\) from a locally compact groupoid with a Haar system \((G,\alpha)\) to another one, \((H,\beta)\), produces a \(\textrm{C}^*\)-correspondence \(\mathcal{H}(X,\lambda)\) from…

We describe the Gabriel quiver with defining relations of the category of injections between finite sets, show that it is quadratic self-dual, and construct linear resolutions for its simple modules.

Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies…

We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization…

Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's…

Let $\mathcal{X}$ be a skeletally small additive category. Using the canonical equivalence between two different presentations of the free abelian category over $\mathcal{X}$, we give a new and simple characterization of definable…

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…

Small B\'{e}nabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the…

The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the…

Inclusion preserving maps from modules over an Artin algebra to complete partially ordered sets are studied. This yields a filtration of the Ziegler spectrum which is indexed by all Gabriel-Roiter measures. Another application is a…

We study the relationship between $n$-cluster tilting modules over $n$ representation finite algebras and the Euler forms. We show that the dimension vectors of cluster-indecomposable modules give the roots of the Euler form. Moreover, we…

In this note, we prove a correspondence between filtrations and b-divisors over a general class of Noetherian local domains. As an application in the global setting, we prove a recent conjecture of Ro\'e-Urbinati.

We introduce the quiver of a bicomodule over a cosemisimple coalgebra. Applying this to the coradical $C_0$ of an arbitrary coalgebra $C$, we give an alternative definition of the Gabriel quiver of $C$, and then show that it coincides with…

This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using…

We present a new method of establishing a bijective correspondence - in fact, a lattice isomorphism - between action- and coaction-invariant ideals of C*-algebras and their crossed products by a fixed locally compact group. It is known that…