English
Related papers

Related papers: Marked colimits and higher cofinality

200 papers

We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any…

Category Theory · Mathematics 2024-05-24 Soichiro Fujii , Stephen Lack

We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality…

Category Theory · Mathematics 2023-11-07 Peng Du

In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on…

Algebraic Topology · Mathematics 2020-04-14 Fernando Abellán García , Walker H. Stern

A well-known result of SGA4 shows how to compute the pseudo-colimit of a category-valued pseudo-functor on a 1-category. The main result of this paper gives a generalization of this computation by constructing the weighted pseudo-colimit of…

Category Theory · Mathematics 2019-10-29 Michael Lambert

For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of…

Category Theory · Mathematics 2016-10-27 Valery Isaev

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

Category Theory · Mathematics 2015-04-24 A. M. Cegarra , B. A. Heredia

We introduce a bicategory that refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg…

Category Theory · Mathematics 2025-06-13 Yuki Imamura

Let $\mathbf{S}$ be a graded marked surface. We construct a string model for Calabi-Yau-$\mathbb{X}$ category $\mathcal{D}_\mathbb{X}(\mathbf{S}_\bigtriangleup)$, via the graded DMS (=decorated marked surface) $\mathbf{S}_\Delta$. We prove…

Representation Theory · Mathematics 2020-10-07 Akishi Ikeda , Yu Qiu , Yu Zhou

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

Algebraic Topology · Mathematics 2021-05-28 Ulrich Bunke , Alexander Engel , Daniel Kasprowski , Christoph Winges

We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…

Category Theory · Mathematics 2024-10-07 Hadrian Heine

A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…

K-Theory and Homology · Mathematics 2020-01-08 Sergei O. Ivanov , Roman Mikhailov , Vladimir Sosnilo

We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of…

Category Theory · Mathematics 2024-05-07 Dogancan Karabas , Sangjin Lee

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

K-Theory and Homology · Mathematics 2022-06-23 George Raptis

We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…

Category Theory · Mathematics 2020-10-13 Volodymyr Lyubashenko

In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of…

Algebraic Topology · Mathematics 2025-11-27 David Barnes , Magdalena Kędziorek , Niall Taggart

Pseudocolimits are formal gluing constructions that combine objects in a category indexed by a pseudofunctor. When the objects are categories and the domain of the pseudofunctor is small and filtered it has been known since Exppose 6 in…

Category Theory · Mathematics 2024-07-30 Deni Salja

We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…

Category Theory · Mathematics 2025-08-05 Ivan Di Liberti , Axel Osmond

We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the universal property. For this, we find the need to reduce…

Category Theory · Mathematics 2024-12-12 Luca Mesiti

We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of…

Representation Theory · Mathematics 2024-08-28 Mateusz Stroiński

Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal…

Category Theory · Mathematics 2015-08-12 Brendan Fong