  
  [1X18 [33X[0;0YCAP automatic generated documentation[133X[101X
  
  
  [1X18.1 [33X[0;0YCAP automatic generated documentation of properties[133X[101X
  
  [1X18.1-1 IsEquivalentToFiniteCategory[101X
  
  [33X[1;0Y[29X[2XIsEquivalentToFiniteCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of [3XC[103X being equivalent to a finite category.[133X
  
