An invitation to general algebra and universal constructions.