Related papers: Descent Theory and Mapping Spaces
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a…
In this paper we bring together some of the key ideas and methods of two disparate fields of mathematical research, frame theory and optimal transport, using the methods of the second to answer questions posed in the first. In particular,…
We generalize the concept of stack one dimension higher, introducing a notion of 2-stack suitable for a trihomomorphism from a 2-category equipped with a bitopology into the tricategory of bicategories. Moreover, we give a characterization…
We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as…
In this paper, we define vector bundles within the framework of almost mathematics (referred to as almost vector bundles) and establish the $v$-descent theorem together with a structure theorem for these bundles over perfectoid spaces. The…
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…
These are expended notes of my talk at the summer institute in algebraic geometry (Seattle, July-August 2005), whose main purpose is to present a global overview on the theory of higher and derived stacks. This text is far from being…
The purpose of this paper is to provide a both comprehensive and summarizing account on recent results about analysis and geometry on configuration spaces $\Gamma_X$ over Riemannian manifolds $X$. Particular emphasis is given to a complete…
We prove Lefschetz type theorems for cohomology groups and Picard groups of degeneracy loci for vector bundle maps. We also treat the case of antisymmetric maps.
This paper is mainly about an early result that the orbifold stack is globally representable via some $ \infty $-categorical techniques.
The present paper is devoted to questions located at the junction of the theory of space quasiconformal mappings and Riemannian surfaces. Theorems on local behavior of one class of open discrete mappings with unbounded characteristic of…
In this note we extend the main results of [E. Enochs and S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves. Adv. in Math. 194(2005), 284-295] to the category of cartesian modules over a flat presheaf of…
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the…
In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in such a way as to form a stack over the…
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
For a big tt-category, we give a characterization of the Telescope Conjecture (TC) in terms of definable tensor-ideals generated by homological residue fields. We formulate a stalk-locality property of (TC) and prove that it holds in the…
Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of…
A new method for multinomial inference is proposed by representing the cell probabilities as unordered segments on the unit interval and following Dempster-Shafer (DS) theory. The resulting DS posterior is then strengthened to improve…
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible…