  
  [1X6 [33X[0;0YBasics[133X[101X
  
  
  [1X6.1 [33X[0;0YCategories[133X[101X
  
  [1X6.1-1 IsStructureObjectOrObjectOrMorphism[101X
  
  [29X[2XIsStructureObjectOrObjectOrMorphism[102X( [3Xarg[103X ) [32X filter
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThis  is  the super super GAP-category which will include the GAP-categories
  IsStructureObjectOrObject and IsHomalgObjectOrMorphism[133X
  
  [1X6.1-2 IsStructureObjectOrObject[101X
  
  [29X[2XIsStructureObjectOrObject[102X( [3Xarg[103X ) [32X filter
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThis  is  the  super  GAP-category  which  will  include  the GAP-categories
  IsHomalgRing, IsHomalgModule, IsHomalgRingOrModule and IsHomalgComplex[133X
  
  [1X6.1-3 IsStructureObject[101X
  
  [29X[2XIsStructureObject[102X( [3Xarg[103X ) [32X filter
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThis  is  the  super  GAP-category  which  will  include  the GAP-categories
  IsHomalgRing  we  need  this  GAP-category to define things like Hom(M,R) as
  easy  as  Hom(M,N)  without  distinguishing  between structure objects (e.g.
  rings) and objects (e.g. modules)[133X
  
  [1X6.1-4 IsStructureObjectMorphism[101X
  
  [29X[2XIsStructureObjectMorphism[102X( [3Xarg[103X ) [32X filter
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThis  is  the  super  GAP-category  which  will  include  the GAP-categories
  IsHomalgRingMap, etc.[133X
  
  [1X6.1-5 IsHomalgRingOrModule[101X
  
  [29X[2XIsHomalgRingOrModule[102X( [3Xarg[103X ) [32X filter
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0Ythis  is  the  super  GAP-category  which  will  include  the GAP-categories
  IsHomalgRing, IsHomalgModule:[133X
  
