A practical introduction to category theory by Daniela Sfregola