Related papers: The Glueing Construction and Double Categories
We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…
We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle…
Gluing of two pseudo functors has been studied by Deligne, Ayoub, and others in the construction of extraordinary direct image functors in \'etale cohomology, stable homotopy, and mixed motives of schemes. In this article, we study more…
We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…
Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.
Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild…
In this note we demonstrate some unexpected properties that simple gluings of the simplest derived categories may have. We consider two special cases: the first is an augmented curve, i.e., the gluing of the derived categories of a point…
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
We give a self-contained proof of local class field theory, via Lubin-Tate theory and the Hasse-Arf theorem, refining the arguments of Iwasawa's book. In the revised version, (i) positive characteristic case is included, (ii) the proof of…
We discuss gluing of objects and gluing of morphisms in tensor triangulated categories. We illustrate the results by producing, among other things, a Mayer-Vietoris exact sequence involving Picard groups.
The local structure of a tiling is described in terms of a multiplicative structure on its pattern classes. The groupoid associated to the tiling is derived from this structure and its integer group of coinvariants is defined. This group…
`Gluing' is a technique of constructing solutions to non-linear (elliptic) partial differential equations such as Yang--Mills equations, minimal surface equations and Einstein equations. Calibrated submanifolds are a certain class of…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
In this short note we survey theorems and provide conjectures on gluing constructions under lower curvature bounds in smooth and non-smooth context. Focusing on synthetic lower Ricci curvature bounds we consider Riemannian manifolds,…
For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.
We provide a technique to glue simple-minded collections along a recollement of Hom-finite Krull-Schmidt triangulated categories over a field. This gluing technique for simple-minded collections is shown to be compatible with those for…
We study IE-closed subcategories of a module category, subcategories which are closed under taking Images and Extensions. We investigate the relation between IE-closed subcategories and torsion pairs, and characterize $\tau$-tilting finite…
We study the degeneration and the gluing of Kuranishi structures in Gromov-Witten theory under a symplectic cut. This leads us to a degeneration axiom and a gluing axiom for open Gromov-Witten invariants. They provide then a route to the…