Related papers: Culf maps and edgewise subdivision

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite…

Let $X$ be a smooth projective variety. We study admissible subcategories of the bounded derived category of coherent sheaves on $X$ whose support is a proper subvariety $Z \subset X$. We show that any one-dimensional irreducible component…

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

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…

In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…

We prove that the Kuznetsov component of a flat family of even-dimensional quadrics of corank at most 2 is equivalent to the twisted derived category of an algebraic space whenever: (i) the open subset of the base over which the quadrics…

We define a category $\mathsf{List}$ whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codomain. We introduce and study a category of simplicial objects…

For a finite digraph $D$, we define the corresponding subshift of finite type $(X_D, \sigma_D)$ to be the dynamical system where $X_D$ is the set of all bi-infinite walks through $D$ and $\sigma_D$ is the shift operator. Two digraphs $D_1$…

We prove that the tensor category of quasi-coherent modules $\mathsf{Qcoh}(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$ over…

The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…

Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke…

We provide a functorial presentation of the $(\infty, 1)$-category of sheaves of $(n, r)$-categories for all $-2 \leq n\leq\infty$ and $0 \leq r\leq n+2$ based on complete Segal space objects. In this definition, the equivalences of sheaves…

Let $M_j$ be a sequence of Riemannian manifolds with sectional curvature bound below collapsing to a compact Alexandrov space $X$ of dimension $k$. Suppose that all but finitely many points of $X$ are $(k,\delta)$-strained and that the…

We introduce the notion of a geometric $(\infty,1)$-category, the protopyical example of which is an $(\infty,1)$-topos. We study (hyper)sheaves on geometric $(\infty,1)$-categories, proving that these are characterized by a form of…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

Let $X$ be a compact K\"ahler manifold. The set $\cha(X)$ of one-dimensional complex valued characters of the fundamental group of $X$ forms an algebraic group. Consider the subset of $\cha(X)$ consisting of those characters for which the…

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…