Functoriality: Second Definition
摘要
We develop in this chapter our second approach for the construction of direct and shriek maps, as outlined in Sect. 8.4. We also prove that both approaches yield the same maps.