  
  [1X6 [33X[0;0YMonoidalCategories automatic generated documentation[133X[101X
  
  
  [1X6.1 [33X[0;0YMonoidalCategories automatic generated documentation of properties[133X[101X
  
  [1X6.1-1 IsBraidedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsBraidedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being braided monoidal.[133X
  
  [1X6.1-2 IsClosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsClosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being (bi)closed monoidal.[133X
  
  [1X6.1-3 IsCoclosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsCoclosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being (bi)coclosed monoidal.[133X
  
  [1X6.1-4 IsLeftClosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsLeftClosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being left closed monoidal.[133X
  
  [1X6.1-5 IsLeftCoclosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsLeftCoclosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being coclosed monoidal.[133X
  
  [1X6.1-6 IsMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being monoidal.[133X
  
  [1X6.1-7 IsStrictMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsStrictMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being strict monoidal.[133X
  
  [1X6.1-8 IsRigidSymmetricClosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsRigidSymmetricClosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being rigid symmetric closed monoidal.[133X
  
  [1X6.1-9 IsRigidSymmetricCoclosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsRigidSymmetricCoclosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being rigid symmetric coclosed monoidal.[133X
  
  [1X6.1-10 IsSymmetricClosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsSymmetricClosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being symmetric closed monoidal.[133X
  
  [1X6.1-11 IsSymmetricCoclosedMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsSymmetricCoclosedMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being symmetric coclosed monoidal.[133X
  
  [1X6.1-12 IsSymmetricMonoidalCategory[101X
  
  [33X[1;0Y[29X[2XIsSymmetricMonoidalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being symmetric monoidal.[133X
  
