Related papers: Key lemma and universal localization
We define a class of languages of infinite words over infinite alphabets, and the corresponding automata. The automata used for recognition are a generalisation of deterministic Muller automata to the setting of nominal sets. Remarkably,…
The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…
Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. We consider a new fundamental condition on composition of central extensions and…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
This is the introductory chapter to the volume. We review the main idea of the localization technique and its brief history both in geometry and in QFT. We discuss localization in diverse dimensions and give an overview of the major…
We examine generalized global symmetries as a kind of compactly supported cohomology, and so are led to revisit questions about the locality of quantum field theory, following Segal. Physics naturally suggests a generalization of…
We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of…
In this paper we generalize a shift theorem, which plays a key role in studying representations of FI$^m$, the product category of the category of finite sets and injections, and classify finitely generated injective FI$^m$-modules over a…
We study different types of localisations of a commutative noetherian ring. More precisely, we provide criteria to decide: (a) if a given flat ring epimorphism is a universal localisation in the sense of Cohn and Schofield; and (b) when…
Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of…
This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…
A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as ``if objects come after verbs, then adjectives come after nouns.'' Such…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
In this paper, some results on vanishing and non-vanishing of generalized local cohomology modules are presented and some relations between those modules and, Ext and ordinary local cohomology modules are studied. Also, several cofiniteness…
We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…
We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…
Using projective spaces as examples of toric manifolds, we examine K-theoretic fixed point localization. On the one hand, we will see how the permutation-equivariant theory of the point target space emerges as a necessary ingredient. On the…
We show that any finite set S in a characteristic zero integral domain can be mapped to the finite field of order p, for infinitely many primes p, preserving all algebraic incidences in S. This can be seen as a generalization of the…