Related papers: Fully faithful functors and pushouts of $\infty$-c…
Numerably contractible spaces play an important role in the theory of homotopy pushouts and pullbacks. The corresponding results imply that a number of well known weak homotopy equivalences are genuine ones if numerably contractible spaces…
We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…
We prove that the notion of Drinfeld center defines a functor from the category of indecomposable multi-tensor categories with morphisms given by bimodules to that of braided tensor categories with morphisms given by monoidal bimodules.…
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…
In this paper, considering a wider class of simulation functions some fixed point results for multivalued mappings in $\alpha$-complete metric spaces have been presented. Results obtained in this paper extend and generalize some well-known…
A semantic model enjoys full definability if every semantic element in the model is a denotation of some proof or program. Full definability indicates that the model captures programs and proofs in a highly detailed manner. This paper…
This is a generalization of some results of Ma-Sauter from module categories over artin algebras to more general functor categories (and partly to exact categories). In particular, we generalize the definition of a faithfully balanced…
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left…
A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only…
We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…
In a paper by Ford, it is claimed that to any pushout square of categories with all involved functors injective, there is associated an exact "Mayer--Vietoris" sequence of derived (co)limits. We provide a counter-example to this general…
We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in…
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…
We identify a reasonably large class of pushouts of strict $n$-categories which are preserved by the "inclusion" functor from strict $n$-categories to weak $(\infty,n)$-categories. These include the pushouts used to assemble from its…
The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…
We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…
We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…