Connect up SIP to the book
Tie in the extant category theory with the book