On (co)ends in -categories

DOI10.1016/J.JPAA.2021.106819MaRDI QIDQ1979293zbMATH OpenOpenAlexFDO

Authors Rune Haugseng

Publication date 2 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2008.03758

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: In this short note we prove that two definitions of (co)ends in $infty$-categories, via twisted arrow $infty$-categories and via $infty$-categories of simplices, are equivalent. We also show that weighted (co)limits, which can be defined as certain (co)ends, can alternatively be described as (co)limits over left and right fibrations, respectively.

Review text

The principal objective in this paper is to lift the familiar equivalence of the definitions of (co)ends via twisted arrow categories \[ \mathrm{Tw}^{l}(\mathcal{C})\rightarrow\mathcal{C}^{\mathrm{op}}\times\mathcal{C} \] and via categories of simplices \[ \Delta_{/\mathcal{C}}\rightarrow\mathcal{C}^{\mathrm{op}}\times\mathcal{C} \] to \(\infty\)-caterories. It is also shown that weighted (co)limits, which can be defined as certain (co)ends, can altertively be described as (co)limits over left and right fibrations, respectively.

Recommendations

• scientific article; zbMATH DE number 7692250
• Marked colimits and higher cofinality
• Weighted limits in an \((\infty, 1)\)-category
• Coends of higher arity
• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

Cites work

• (Co)end Calculus
• A spectrum-level Hodge filtration on topological Hochschild homology
• Higher Topos Theory (AM-170)
• Homotopy coherent category theory
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3261673 (Why is no real title available?)
• Lax colimits and free fibrations in -categories
• On the Grothendieck construction for \(\infty\)-categories
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.

Cited in

(12)

• Coends of higher arity
• The colimit of an -local system as a twisted tensor product
• Weak -categories via terminal coalgebras
• (Co)ends for representations of tensor categories
• On lax limits in -categories
• Categorical ambidexterity
• Segalification and the Boardman-Vogt tensor product
• A short proof that Rezk's nerve is fully faithful
• Calabi-Yau structures on topological Fukaya categories
• On deformation theory in higher logarithmic geometry
• Marked limits in (, 2)-categories
• Weighted limits in an \((\infty, 1)\)-category

This page was built for publication: On (co)ends in \(\infty\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979293)