Categories in SMT