category-theory 2 The equivalence between the isomorphism between two objects, the isomorphism of the pushforward, and the isomorphism of the pushback Jul 1, 2025 An Explanation of Commutative Diagrams Aug 1, 2024