add article: hands-on category theory