Related papers: Generic bundles over a localic category

We prove a local-global principle for $\infty$-categories over any base $\infty$-category $\mathcal{C}$: we show that any $\infty$-category $\mathcal{B} \to \mathcal{C}$ over $\mathcal{C}$ is determined by the following data: the collection…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…

The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…

We consider the assembly map for principal bundles with fiber a countable discrete group. We obtain an index-theoretic interpretation of this homomorphism by providing a tensor-product presentation for the module of sections associated to…

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…

We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a…

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…

We give an explicit groupoid presentation of certain stacks of vector bundles on formal neighborhoods of rational curves inside algebraic surfaces. The presentation involves a M\"obius type action of an automorphism group on a space of…

We develop the theory of locally rigid and rigid symmetric monoidal $\infty$-categories over an arbitrary base $\mathcal{V}\in\mathrm{CAlg}(\mathbf{Pr}^\mathrm{L})$. Among other things, we prove that every locally rigid commutative…

Given a compact Lie group $G$, a reconstruction theorem for free $G$-manifolds is proved. As a by-product reconstruction results for locally trivial bundles are presented. Next, the main theorem is generalized to $G$-manifolds with one…

We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the…

We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…

We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We first present a generalized algebraic theory for categories…

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of…

Farrell and Hsiang noticed that the geometric surgery groups defined By Wall, Chapter 9, do not have the naturality Wall claims for them. They were able to fix the problem by augmenting Wall's definitions to keep track of a line bundle. The…

The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial…