Handbook of Categorical Algebra 1 : Basic Category Theory