Related papers: The Glueing Construction and Double Categories

In this article, by using the technique of gluing semigroups, we give infinitely many families of 1-dimensional local rings with non-decreasing Hilbert functions. More significantly, these are local rings whose associated graded rings are…

We give an explicit description of factorization algebras over the affine line, constructing them from the gluing data determined by its corresponding OPE algebra. We then generalize this construction to factorization monoids, obtaining a…

For an arbitrary countable group G = <A|R> given by its generators A and defining relations R we discuss a specific method for embedding of G into a certain 2-generator group T. Our embedding explicitly lists the images of generators from A…

Exponential families are the workhorses of parametric modelling theory. One reason for their popularity is their associated inference theory, which is very clean, both from a theoretical and a computational point of view. One way in which…

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 first show that the connected sum along submanifolds introduced by the second author for compact initial data sets of the vacuum Einstein system can be adapted to the asymptotically Euclidean and to the asymptotically hyperbolic context.…

We make two improvements upon Joyce's gluing theorems of for compact special Lagrangian submanifolds with isolated conical singularities. Firstly, we get rid of a few technical hypotheses of them. Secondly, we replace another hypothesis by…

We introduce a category of dual pairs of finite locally free algebras over a ring. This gives an efficient way to represent finite locally free commutative group schemes. We give a number of algorithms to compute with dual pairs of…

We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We…

A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…

We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering.

The local intertwining relation is an identity that gives precise information about the action of normalized intertwining operators on parabolically induced representations. We prove several instances of the local intertwining relation for…

We introduce the extension groups between atoms in an abelian category. For a locally noetherian Grothendieck category, the localizing subcategories closed under injective envelopes are characterized in terms of those extension groups. We…

This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…

We show that there is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos, one of the premier models for Synthetic Differential Geometry. This embedding is shown to have a number of nice properties,…

We construct in a unifying way skew-multicategories and multicategories of double and Gray-categories that we call Gray (skew) multicategories. We study their different versions depending on the types of functors and higher transforms. We…

Every countable group that does not contain a finitely generated subgroup of exponential growth imbeds in a finitely generated group of subexponential growth. This produces in particular the first examples of groups of subexponential growth…

Let $G$ be a (non compact) connected simply connected locally compact second countable Lie group, either abelian or unimodular of type I, and $\rho$ an irreducible unitary representation of $G$. Then, we define the analytic torsion of $G$…

We introduce a method to construct closed rigid associative submanifolds in twisted connected sum $G_2$-manifolds. More precisely, we prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl…

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…