Related papers: Univalence in locally cartesian closed infinity-ca…
In this paper we consider representations of certain combinatorial categories, including the poset $\D$ of positive integers and division, the Young lattice $\mathscr{Y}$ of partitions of finite sets, the opposite category of the orbit…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
For any family of measurable sets in a probability space, we show that either (i) the family has infinite Vapnik-Chervonenkis (VC) dimension or (ii) for every epsilon > 0 there is a finite partition pi such the pi-boundary of each set has…
We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial…
We apply the theory of families of (phi,Gamma)-modules to trianguline families as defined by Chenevier. This yields a new definition of Kisin's finite slope subspace as well as higher dimensional analogues. Especially we show that these…
We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy…
We develop a denotational semantics for general reference types in an impredicative version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory to Voevodsky's univalent foundations. We observe for the first…
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver's sense.…
Governed by locality, we explore a connection between unitary braid group representations associated to a unitary $R$-matrix and to a simple object in a unitary braided fusion category. Unitary $R$-matrices, namely unitary solutions to the…
Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the…
A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived…
We have proved that homeomorphisms of domains of Euclidean space, inverse of which distort the modulus of families of curves by Poletskii type, have a continuous extension to isolated boundary point.
We study mappings satisfying the inverse Poletsky-type inequality in a domain of the Euclidean space. Such inequalities are well known and play an important role in the study of quasiconformal and quasiregular mappings. We consider the case…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
Seely's paper "Locally cartesian closed categories and type theory" contains a well-known result in categorical type theory: that the category of locally cartesian closed categories is equivalent to the category of Martin-L\"of type…
In this paper, we consider the family of pattern-replacement equivalence relations referred to as the "indices and values adjacent" case. Each such equivalence is determined by a partition $P$ of a subset of $S_c$ for some $c$. In 2010,…
We investigate braid group representations associated with unitary braided vector spaces, focusing on a conjecture that such representations should have virtually abelian images in general and finite image provided the braiding has finite…
We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally (n-1)-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in…
A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…