Related papers: External univalence for second-order generalized a…
This is the first installment of a series of papers whose aim is to lay a foundation for homotopy probability theory by establishing its basic principles and practices. The notion of a homotopy probability space is an enrichment of the…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
In this article, we study the permanence of topological and algebraic dimension type properties of simple unital $C\sp*$-algebras. When a pair of unital $C\sp*$-algebras $(A, B)$ is associated by a $*$-homomorphism $\phi: A\to B$ which is…
We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…
We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We first present a generalized algebraic theory for categories…
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
We give a cohomological criterion for existence of outer automorphisms of a semisimple algebraic group over an arbitrary field. This criterion is then applied to the special case of groups of type D_2n over a global field, which completes…
We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…
A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent functions and the type-in-type rule. In this work, we argue that…
Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer science, and in particular can be used to create universes in…
We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two…
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…
An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some…
We obtain a rigidity phenomena of rational cohomology automorphisms of certain homogeneous spaces, in the presence of external cohomology classes arising from spaces with trivial cup product in rational cohomology algebra. We classify…