Related papers: Localization theory in an $\infty$-topos
In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…
We investigate Hopf algebroids in the category of $L$-complete modules over a commutative Noetherian regular complete local ring. The main examples are provided by the Hopf algebroids associated to Lubin-Tate spectra in the K(n)-local…
Suppose an extension map $U\colon \mathbb{T}_1 \to \mathbb{T}_0$ in the 2-category $\mathfrak{Con}$ of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in $\mathfrak{Con}$. If $M$ is a model of…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
Hereditary coreflective subcategories of an epireflective subcategory A of Top such that I_2\notin A (here I_2 is the 2-point indiscrete space) were studied in [C]. It was shown that a coreflective subcategory B of A is hereditary (closed…
We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…
Normal maps between discrete groups $N\rightarrow G$ were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient $EN\times_N G$. Here we deal with topological group (or loop) maps…
We initiate a study of subregion dualities, entropy, and redundant encoding of bulk points in holographic theories deformed by $T \bar T$ and its generalizations. This includes both cut off versions of Anti de Sitter spacetime, as well as…
The class of locally compact near abelian groups is introduced and investigated as a class of metabelian groups formalizing and applying the concept of scalar multiplication. The structure of locally compact near abelian groups and its…
We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the…
For any affine semigroup $S$ the set $S\cup\{\infty\}$ has a natural structure of semigroup, additionally if $S$ is endowed with the discrete topology, the semigroup $S\cup\{\infty\}$ can be studied as the one-point compactification of $S$.…
We show that silting modules are closely related with localisations of rings. More precisely, every partial silting module gives rise to a localisation at a set of maps between countably generated projective modules and, conversely, every…
This work is the second of a series of papers devoted to revisiting the properties of Heterotic string compactifications on ALE spaces. In this project we study the geometric counterpart in F-theory of the T-dualities between Heterotic ALE…
For a finite dimensional algebra $A$, we establish correspondences between torsion classes and wide subcategories in $mod(A)$. In case $A$ is representation finite, we obtain an explicit bijection between these two classes of subcategories.…
We consider a system with symmetries whose configuration space is a compact Lie group, acted upon by inner automorphisms. The classical reduced phase space of this system decomposes into connected components of orbit type subsets. To…
By using a lattice characterization of continuous projections defined on a topological vector space E arising from a dual pair, we determine the automorphism group of their orthomodular poset Proj(E) by means of automorphisms and…
We study the parameter space structure of degree $d \ge 3$ one complex variable polynomials as dynamical systems acting on $\C$. We introduce and study {\it straightening maps}. These maps are a natural higher degree generalization of the…
Let X be a locally symmetric space associated to a reductive algebraic group G defined over Q. L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of X; they were introduced in…
We pursue the study of local index theory for operators of Fourier-integral type associated to non-proper and non-isometric actions of Lie groupoids, initiated in a previous work. We introduce the notion of geometric cocycles for Lie…
We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…