Related papers: \'Etale structures and the Joyal-Tierney represent…

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which…

We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly…

In this paper we study the structure theory of normed modules, which have been introduced by Gigli. The aim is twofold: to extend von Neumann's theory of liftings to the framework of normed modules, thus providing a notion of precise…

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

In persistent topology, q-tame modules appear as a natural and large class of persistence modules indexed over the real line for which a persistence diagram is definable. However, unlike persistence modules indexed over a totally ordered…

We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…

We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact…

We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded…

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

To develop a constructive description of $\mathrm{Ext}$ in categories of coherent sheaves over certain schemes, we establish a binatural isomorphism between the $\mathrm{Ext}$-groups in Serre quotient categories $\mathcal{A}/\mathcal{C}$…

A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properties. Establishing that the two structures substantially…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…