加载中…
Twisted arrow -categories of -categories were introduced by Lurie, and they have various applications in higher category theory. Abellán García and Stern gave a generalization to twisted arrow -categories of -categories. In this paper we introduce another simple model for twisted arrow -categories of -categories.

生成讲解博客的中文版本

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