Category theory
General topology
Homological algebra
Epimorphism
Morphisms
Embedding
Pushout
Adjoint functors
Proj construction
Mathematics
Abstract algebra
Topology