Related papers: Univalence and completeness of Segal objects

The notion of a higher Segal space was introduced by Dyckerhoff and Kapranov as a general framework for studying higher associativity inherent in a wide range of mathematical objects. In the present work we formalize the connection between…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

As observed recently by various people the topos $\mathbf{sSet}$ of simplicial sets appears as essential subtopos of a topos $\mathbf{cSet}$ of cubical sets, namely presheaves over the category $\mathbf{FL}$ of finite lattices and monotone…

We extend a recently proposed 1-nearest-neighbor based multiclass learning algorithm and prove that our modification is universally strongly Bayes-consistent in all metric spaces admitting any such learner, making it an "optimistically…

We consider the problem of identifying universal low-dimensional features from high-dimensional data for inference tasks in settings involving learning. For such problems, we introduce natural notions of universality and we show a local…

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…

The Axiom of Plenitude asserts that every ordinal is equinumerous with a set of urelements, while its stronger form, Plenitude$^+$, extends it to all sets. We investigate these two axioms within ZF set theory with urelements. Assuming that…

This article develops a unified and intrinsic framework for the theory of Sobolev spaces on vector bundles over Riemannian manifolds. The analytical core of our approach is an explicit higher-order geometric integration by parts formula,…

Categorical deep learning (CDL) has recently emerged as a framework that leverages category theory to unify diverse neural architectures. While geometric deep learning (GDL) is grounded in the specific context of invariants of group…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

We prove that if a finite tensor category $\C$ is symmetric, then the monoidal category of one-sided $\C$-bimodule categories is symmetric. Consequently, the Picard group of $\C$ (the subgroup of the Brauer-Picard group introduced by…

Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…

We generalize the notion of S-equivalence, previously defined for semistable vector bundles, to points in arbitrary algebraic stacks and use it to describe the identification of points when passing to the moduli space. As applications, we…

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…

The paper is devoted to the investigation of Segal's entropy in semifinite von Neumann algebras. The following questions are dealt with: semicontinuity, the 'ideal-like' structure of the linear span of the set of operators with finite…

We introduce and study two new relations between function spaces over measure spaces of infinite measure, motivated by the question of establishing compactness. The first relation captures the uniform decay of function (quasi-)norms ``at…

We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…