The primary distinction here is then that the categorical grammars have two type constructors, the forward and backward slashes, that can be used to create new types (such as "NP/N") from base types (such as "NP" and "N").