Related papers: Univalence and completeness of Segal objects

The classical result of Nevanlinna states that two nonconstant meromorphic functions on the complex plane having the same images for five distinct values must be identically equal to each other. In this paper, we give a similar uniqueness…

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 develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy…

The d-Segal conditions of Dyckerhoff and Kapranov are exactness properties for simplicial objects based on the geometry of cyclic polytopes in d-dimensional Euclidean space. 2-Segal spaces are also known as decomposition spaces, and most…

This paper extends the Lebesgue property and (weak) $G$-completeness to generalized quasi-uniform spaces. It investigates the connections between completeness, (weak) $G$-completeness, and the Lebesgue property of the product of generalized…

There exists a plethora of parametric models for positive definite kernels, and their use is ubiquitous in disciplines as diverse as statistics, machine learning, numerical analysis, and approximation theory. Usually, the kernel parameters…

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

This is the first paper in a series on new higher categorical structures called higher Segal spaces. For every d > 0, we introduce the notion of a d-Segal space which is a simplicial space satisfying locality conditions related to…

We completely characterize the validity of the inequality $\|u\|_{Y(\mathbb{R}^n)}\leq C \|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$ are rearrangement-invariant spaces, by reducing it to a considerably simpler one-dimensional…

Homogeneous spaces are de Branges' Hilbert spaces of entire functions with the property that certain weighted rescaling transforms induce isometries of the space into itself. A classical example of a homogeneous space is the Paley-Wiener…

We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…

We define the homology of a simplicial set with coefficients in a Segal's $\Gamma$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf…

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in…

We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a…

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M\"obius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

We develop a completion theory for (general) non-Archimedean spaces based on the theory on "a categorical concept of completion of objects" as introduced by G.C.L. Br\"ummer and E. Giuli. Our context is the construct $\mathbf{NA}_0$ of all…

We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to $\text{sVec}$. This proves Ostrik's…

Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…