Sets & logic・Higher
Injective and surjective maps, and equivalence relations.
Choose what to practice.