Functoriality: First Definition
摘要
We develop in this chapter our first approach to the construction of direct and shriek maps, as outlined in Sect. 8.4.