Related papers: Introduction to Complete Segal Spaces

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…

We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…

The main purpose of this paper is to introduce and study the primal-proximity spaces. Also, we define two new operators via primal proximity spaces and investigate some of their fundamental properties. In addition, we obtain a new topology,…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…

In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…

We initiate a systematic study of lattices of thick subcategories for arbitrary essentially small triangulated categories. To this end we give several examples illustrating the various properties these lattices may, or may not, have and…

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

There are versions of "calculus" in many settings, with various mixtures of algebra and analysis. In these informal notes we consider a few examples that suggest a lot of interesting questions.

The properties of the spaces of Sugeno integrable functions are quite different from those of the ordinary spaces of Lebesgue integrable functions. The purpose of the paper is to further advance our study of the Sugeno-Lorentz spaces, in…

In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose,…

The goals of this paper are first to describe and then to apply an ergodic-theoretic generalization of the Siegel integral formula from the geometry of numbers. The general formula will be seen to serve both as a guide and as a tool for…

The purpose of this short note is to illustrate the utility of (semi-) dendroidal objects in describing certain 'up-to-homotopy' operads. Specifically, we exhibit a semi-dendroidal space satisfying the Segal condition, whose evaluation at a…

In this note we formulate and give a self-contained proof of the Yoneda lemma for infinity categories in the language of complete Segal spaces.

The aim of this paper is to introduce the concept of Delta-Compact spaces along with some basic properties of it. Here, we try to establish the behavior of Delta-Compact spaces under the continuous mapping. Finally, we define another…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…

We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis,…

We relate the brace products of a fibration with section to the differentials in its serre spectral sequence. In the particular case of free loop fibrations, we establish a link between these differentials and browder operations in the…