加载中…
We give a 3-universal property for the Karoubi envelope of a 2-category. Using this, we show that the 3-categories of finite semisimple 2-categories (as introduced in arXiv:1812.11933) and of multifusion categories are equivalent.

生成讲解博客的中文版本

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