from a naive skim,it looks like a book that is about how to model category theory in SML.

A lot of the encodings seem to around that

I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).