Syntax definition ccat

Description: Extend class notation with the class of categories.

	Ref	Expression
Assertion	ccat	$$class\mathrm{Cat}$$