Introduction to categories