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.
Project I wrote in 2025 about pushforwards and pushbacks.
Project I wrote at the start of 2025 about an algebraic proof to Fermat's Little Theorem.
Project I wrote in 2024 about edge replacement systems.
Project I wrote in 2024 about metric spaces.
Project I wrote in 2024 about commutative diagrams.
Project I wrote in 2025 about whether two groups are isomorphic.