Related papers: A general method for building reflections
Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…
In analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…
We generalise classical reconstruction results in algebra, using the language of monads, monoidal categories, module categories, as well as various notions of duality, such as closedness, Grothendieck--Verdier duality (also known as…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category $\mathsf{Lens}_F$ for any category $\mathcal{C}$ and functor $F\colon…
We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…
We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…
We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as `bridges' for…
We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these…
The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
The notion of a symplectic expansion directly relates the topology of a surface to formal symplectic geometry. We give a method to construct a symplectic expansion by solving a recurrence formula given in terms of the…
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of…
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
In this note, we compute the split Grothendieck ring of a generalized category of Soergel bimodules of type $A_2$, where we take one generator for each reflection. We give a presentation by generators and relations of it and a…
The aim of this paper is to study the characteristics of a general method to produce a new approximation sequence from a given one, by using suitable convex combinations.
We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using…
We define, via Gorenstein homomorphisms, a class of local rings over which there exist non-trivial totally reflexive modules. We also provide a general construction of such rings, which indicates their abundance.