Related papers: Marked colimits and higher cofinality

We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the…

In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…

For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to…

It is well known that limits can be computed by restricting along an initial functor, and that this often simplifies limit computation. We systematically study the algorithmic implications of this idea for diagrams indexed by a finite…

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$…

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…

We define a functor from the category of Lie conformal algebras to the category of differential Lie coalgebras, which associates to any Lie conformal algebra $L$ a differential Lie coalgebra $L^{\,0}$, defined as the maximal good…

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…

Let $\mathsf{T}$ be a triangulated category with shift functor $\Sigma \colon \mathsf{T} \to \mathsf{T}$. Suppose $(\mathsf{A},\mathsf{B})$ is a co-t-structure with coheart $\mathsf{S} = \Sigma \mathsf{A} \cap \mathsf{B}$ and extended…

In the article the author is studying the twice codifferentiable functions, defined by Prof. V.Ph. Demyanov, and some methods for calculating their codifferentials. At the beginning easier case is considered when a function is twice…

One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a…

This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…

Let $\Sigma$ be a small category and $\mathcal{A}$ be a $\Sigma$-co-complete (resp. $\Sigma$-complete) abelian category. It is a well-known fact that the category $\operatorname{Fun}(\Sigma,\mathcal{A})$ of functors of $\Sigma$ in…

In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…

We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational…

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…

We present a new construction of crossed-product duality for maximal coactions that uses Fischer's work on maximalizations. Given a group $G$ and a coaction $(A,\delta)$ we define a generalized fixed-point algebra as a certain subalgebra of…

A diagram consisting of differential graded (dg for short) categories and dg functors is formulated in this paper as a colax functor $X$ from a small category $I$ to the 2-category $\mathbf{k}$-dgCat of small dg categories, dg functors and…