A first draft of my latest attempt to describe the Cat semantics and type system with some rigour is available at http://www.cat-language.com/paper.html I'd appreciate any feedback! -- http://www.cdiggins.com