This lecture introduces concrete categories, where objects are sets with additional structure and morphisms are set functions respecting this structure. Examples include the category Ens of sets with set functions, the category Gr of groups with group homomorphisms, the category Ab of abelian groups with group homomorphisms, and the category Vectk of vector spaces over field k with linear transformations.