  
  [1X4 [33X[0;0YThe terminal category with multiple objects[133X[101X
  
  [33X[0;0YThis  is an example of a category which is created using [10XCategoryConstructor[110X
  out of no input.[133X
  
  [33X[0;0YThis  category  [21Xlies[121X  in all doctrines and can hence be used (in conjunction
  with  [10XLazyCategory[110X)  in  order  to check the type-correctness of the various
  derived methods provided by [5XCAP[105X or any [5XCAP[105X-based package.[133X
  
  
  [1X4.1 [33X[0;0YConstructors[133X[101X
  
