We construct an explicit combinatorial model of the functor which adds right adjoints to the morphisms of an ∞∞-category, and we speculate on possible extensions to higher dimensions.
生成讲解博客的中文版本
生成AI智能校验的中文版本