Related papers: The Patch Topology in Univalent Foundations
It is often overlooked that local quantum physics has a built in quantum localization structure which may under certain circumstances disagree with (differential, algebraic) geometric ideas. String theory originated from such a spectacular…
Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…
This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…
A topological space is locally equiconnected if there exists a neighborhood $U$ of the diagonal in $X\times X$ and a continuous map $\lambda:U\times[0,1]\to X$ such that $\lambda(x,y,0)=x$, $\lambda(x,y,1)=y$ et $\lambda(x,x,t)=x$ for…
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory,…
We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…
We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant…
We introduce regular stratified piecewise linear manifolds to describe lattices and investigate the lattice model approach to topological quantum field theory in all dimensions. We introduce the unitary $n+1$ alterfold TQFT and construct it…
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univalent which means that identities and isomorphisms of objects…
We show that closures of families of unitary local systems on quasiprojective varieties for which the dimension of a graded component of Hodge filtration has a constant value can be identified with a finite union of polytopes. We also…
We present a new class of topological conformal field theories (TCFT) characterized by a rational $W$ potential, which includes the minimal models of A and D types as its subclasses. An explicit form of the $W$ potential is found by solving…
We construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of…
A vector topology on a vector space over a topological field is a (not necessarily Hausdorff) topology by which the addition and scalar multiplication are continuous. We prove that, if an isomorphism between the lattice of topologies of two…
We show that given any tiling of Euclidean space, any geometric patterns of points, we can find a patch of tiles (of arbitrarily large size) so that copies of this patch appear in the tiling nearly centered on a scaled and translated…
Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a…
We present a unified framework to systematically embed complex knotted and linked structures, beyond the torus family, into diverse topological phases, including Hopf insulators, classical spin liquids, topological semimetals, and…
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this…
By use of the AdS/CFT correspondence on orbifolds, models are derived which can contain the standard model of particle phenomenology. It will be assumed that the theory becomes conformally invariant at a renormalization-group fixed-point in…
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…