The equivalence between the isomorphism between two objects, the isomorphism of the pushforward, and the isomorphism of the pushback
Project I wrote in 2025 about pushforwards and pushbacks.
This is a project I wrote in July 2025 about pushforwards and pushbacks. It was originally published on my old website. The PDF is below.
This post is licensed under CC BY 4.0 by the author.