Related papers: $(\infty,n)$-Limits I: Definition and first consis…
The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the…
Let N and P be smooth manifolds of dimensions n and p (n \geq p \geq 2) respectively. Let \Omega(N,P) denote an open subspace of J^{infty}(N,P) which consists of all regular jets and jets with prescribed singularities of types A_{i}, D_{j}…
Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…
We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…
We define the independence ratio and the chromatic number for bounded, self-adjoint operators on an L^2-space by extending the definitions for the adjacency matrix of finite graphs. In analogy to the Hoffman bounds for finite graphs, we…
A limit theorem for a sequence of diffusion processes on graphs is proved in a case when vary both parameters of the processes (the drift and diffusion coefficients on every edge and the asymmetry coefficients in every vertex), and…
In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the…
We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization…
We define digital $m-$homotopic distance and its higher version. We also mention related notions such as $m-$category in the sense of Lusternik-Schnirelmann and $m-$complexity in topological robotics. Later, we examine the homotopy…
We define the notion $\phi(x,y)$ has $NIP$ in $A$, where $A$ is a subset of a model, and give some equivalences by translating results from [1]. Using additional material from [11] we discuss the number of coheirs when $A$ is not…
Let N and P be smooth manifolds of dimensions n and p (n>=p>=2). Let Omega^{I}(N,P) denote an open subspace of J(N,P) which consists of all Boardman submanifolds Sigma^{J}(N,P) with J=< I in the lexicographic order. We will prove the…
We develop a theory of limits for sequences of dense abstract simplicial complexes, where a sequence is considered convergent if its homomorphism densities converge. The limiting objects are represented by stacks of measurable [0,1]-valued…
We consider the question of continuity of limit sets for sequences of geometrically finite subgroups of isometry groups of rank-one symmetric spaces, and prove analogues of classical (Kleinian) theorems in this context. In particular we…
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…
Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences…
We establish central limit theorems (CLTs) for the linear spectral statistics of the adjacency matrix of inhomogeneous random graphs across all sparsity regimes, providing explicit covariance formulas under the assumption that the variance…
We introduce an equivalence relation on $W^{s,p}({\mathbb S}^N;{\mathbb S}^N)$ involving the topological degree, and we evaluate the distances (in the usual sense and in the Hausdorff sense) between the equivalence classes. In some special…
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite…
The aim of these notes is to introduce the intuition motivating the notion of a "complicial set", a simplicial set with certain marked "thin" simplices that witness a composition relation between the simplices on their boundary. By varying…