Related papers: Sphericalization and the Universal Spherical Adjun…
Given an $\infty$-category $C$ equipped with suitable wide subcategories $I, P \subset E\subset C$, we show that the $(\infty,2)$-category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_{P,I}$ of higher (or iterated) spans defined by Haugseng has…
In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $\pi$-institutions. This is done at both a foundational and an applied level. Firstly, we…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with…
Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…
The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…
Let $F:\mathcal{A}\to \mathcal{B}$ be a left adjoint between abelian categories and let $Ch(F)$ be the induced left adjoint on chain complexes. If the abelian categories $\mathcal{A}$ and $\mathcal{B}$ are equipped with sufficiently nice…
We obtain, via the formalism of tensor actions, a complete classification of the localizing subcategories of the stable derived category of any affine scheme with hypersurface singularities and of any local complete intersection over a…
Let C be a small category and G be a tensor Grothendieck category. We define a notion of atness in the category Fun(C; G) of all covariant functors from C to G and show that the inclusion K(FlatA) ---> K(A) has a right adjoint where K(A) is…
Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…
The main result concerns a bicategorical factorization system on the bicategory $\mathrm{Cat}$ of categories and functors. Each functor $A\xra{f} B$ factors up to isomorphism as $A\xra{j}E\xra{p}B$ where $j$ is what we call an ultimate…
Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…
Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…
Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…
In this paper, we introduce relative Roe functors and show that for every pair of scalable proper metric spaces, the functor of continuous functions and the relative Roe functor, both associated with this pair, are asymptotically adjoint.…
Given a Fourier-Mukai functor $\Phi$ in the general setting of singular schemes, under various hypotheses we provide both left and a right adjoints to $\Phi$, and also give explicit formulas for them. These formulas are simple and natural,…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
In this short note we observe that, for purely formal reasons, any autoequivalence can be constructed as a twist around a spherical functor. As an example, we show how the P-twists constructed by Huybrechts and Thomas can be formulated as…