Description: Extend class notation to include category restriction (which is like structure restriction but also allows limiting the collection of morphisms).
class |`cat