Related papers: Gluing pseudo functors via $n$-fold categories

We construct rational models for classifying spaces of self-equivalences of bundles over simply connected finite CW-complexes relative to a given simply connected subcomplex. Via work of Berglund-Madsen and Krannich this specializes to…

We compute the fundamental groups of non-singular analytic Deligne-Mumford curves, classify the simply connected ones, and classify analytic Deligne-Mumford curves by their uniformization type. As a result, we find an explicit presentation…

Adjunctions of two variables generalize the relationship between tensor product and the internal hom functor in a closed monoidal category. For a pair of ordinary adjunctions $(F\dashv U, F'\dashv U')$ conjugation relates natural…

For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

We study smooth higher symmetry groups and moduli $\infty$-stacks of generic higher geometric structures on manifolds. Symmetries are automorphisms which cover non-trivial diffeomorphisms of the base manifold. We construct the smooth higher…

We prove the existence of an exact triangle for the Pin(2)-monopole Floer homology groups of three manifolds related by specific Dehn surgeries on a given knot. Unlike the counterpart in usual monopole Floer homology, only two of the three…

The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…

In this article we discuss local aspects of 2-functors defined on the path 2-groupoid of a smooth manifold; in particular, local trivializations and descent data. This is a contribution to a project that provides an axiomatic formulation of…

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…

We introduce heavily separable functors of the second kind and study them in three different situations. The first of these is with restrictions and extensions of scalars for modules over small preadditive categories. The second is with…

We introduce a notion of Poincar\'e duality for pairs of $\infty$-categories, extending Poincar\'e-Lefschetz duality for pairs of spaces. This categorical extension yields an efficient book-keeping device that affords, among other things, a…

We show that there is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos, one of the premier models for Synthetic Differential Geometry. This embedding is shown to have a number of nice properties,…

We show that the bigroupoid of separable symmetric Frobenius algebras over an algebraically closed field and the bigroupoid of finitely semi-simple Calabi-Yau categories are equivalent. To this end, we construct a trace on the category of…

Let C be an extriangulated category. We prove that two quotient categories of extriangu?lated categories induced by selforthogonal subcategories are equivalent to module categories by restriction of two functors E and Hom, respectively.…

We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.

We prove a gluing theorem on the automorphic side of the geometric Langlands correspondence: roughly speaking, we show that the difference between $\mathrm{DMod}(\mathrm{Bun}_G)$ and its full subcategory…

Given a pair of pseudo double categories $\mathbb A$ and $\mathbb B$, the lax functors from $\mathbb A$ to $\mathbb B$, along with their transformations, modules, and multimodulations, assemble into a virtual double category…

We investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…