Category math in a nutshell