Getting started with categories theory