加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本