Tie in the extant category theory with the book