An invitation to general algebra and universal constructions. (2015)