Related papers: Internal categories, anafunctors and localisations
We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In…
In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…
We give a characterisation of functors whose induced functor on the level of localisations is an equivalence and where the isomorphism inverse is induced by some kind of replacements such as projective resolutions or cofibrant replacements.
This paper touches on several interaction points of semigroups and constructions from category theory: An adjunction is established between categories with selected arrows and semigroups. Regular semigroups are characterized by split epi -…
We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to…
We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them…
In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to…
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…
This manuscript was written for the Proceedings of the ICRA 2022 in Buenos Aires. It can be divided into four parts: The first part is an introduction to the theory of monomorphism categories, including a short survey on some representation…
We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…
We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…
The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures.
It is known that a topological correspondence \((X,\lambda)\) from a locally compact groupoid with a Haar system \((G,\alpha)\) to another one, \((H,\beta)\), produces a \(\textrm{C}^*\)-correspondence \(\mathcal{H}(X,\lambda)\) from…
We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
The topic of this paper is a generalization of Tannaka duality to coclosed categories. As an application we prove reconstruction theorems for coalgebras (and bialgebras) in categories of topological vector spaces over a nonarchimedean field…
We investigate the (separated) monomorphism category $\operatorname{mono}(Q,\Lambda)$ of a quiver $Q$ over an Artin algebra $\Lambda$. We construct an epivalence from $\overline{\operatorname{mono}}(Q,\Lambda)$ to…