For a more advanced book: Category Theory in Context by Emily Riehl