Basic definitions Categories and morphisms Categorical functors Universal properties Universal properties of groups Universal properties of rings Universal properties of topologies