加载中…
We take another look at the construction of double -categories of algebras and bimodules and prove a few supplemental results about these, including a simpler proof of the Segal condition and a comparison between our construction and that of Lurie. We then take a more streamlined, inductive approach to the higher Morita categories of -algebras and show that these deloop correctly.

生成讲解博客的中文版本

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