In present paper we develop categorical formalism of Verdier duality for diagrams of topoi. We use this approach to construct Grothendieck six operations formalism.
生成讲解博客的中文版本
生成AI智能校验的中文版本