-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