paper

-Limits II: Comparison across models

arXiv:2408.04742

Abstract

We show that the notion of -limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of various double -categories implementing various join constructions, slice constructions and cone constructions, and study their properties. We further prove that key examples of -categories are (co)complete.

45 pages; comments welcome

$(\infty,n)$-Limits II: Comparison across models · wovepaper