The aim of this paper is to generalize in a homotopical framework the notion of exact square introduced by Ren'e Guitart, and explain the relationship between this generalization and the theory of derivators.
生成讲解博客的中文版本
生成AI智能校验的中文版本