加载中…
In this note, we leverage the author’s pasting theorem for -categories to construct new models of -categories for all , as presheaves on certain categories of computads. Among these new models are some which facilitate a construction of the Gray tensor product of -categories Day convolution and reflection, which we carry out here. After constructing this Gray tensor product of -categories, we characterize it via several model-independent universal properties.

生成讲解博客的中文版本

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