New book: Basic Category Theory