diff --git a/doc/Test.xml b/doc/Test.xml
index 279a3b9a..90d16388 100644
--- a/doc/Test.xml
+++ b/doc/Test.xml
@@ -1103,7 +1103,6 @@
 <C>HAP_PERMMOVES_DIM_2</C><Br/>
 <C>HAP_PERMMOVES_DIM_3</C><Br/>
 <C>HAP_XYXYXYXY</C><Br/>
-<C>HAP_type</C><Br/>
 <C>HAPchildFunctionToggle</C><Br/>
 <C>HAPchildToggle</C><Br/>
 <C>HAPchildren</C><Br/>
diff --git a/doc/Undocumented.xml b/doc/Undocumented.xml
index b96a8353..ed6c0ede 100644
--- a/doc/Undocumented.xml
+++ b/doc/Undocumented.xml
@@ -6099,8 +6099,6 @@
 <Br/>
 <C>HAP_XYXYXYXY</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
 <Br/>
-<C>HAP_type</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
-<Br/>
 <C>HAPchildFunctionToggle</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
 <Br/>
 <C>HAPchildToggle</C>&nbsp;&nbsp;&nbsp;&nbsp;<B>Examples:</B> <Br/>
diff --git a/lib/CategoryTheory/categories.gi b/lib/CategoryTheory/categories.gi
index 331c080a..c16b69b2 100644
--- a/lib/CategoryTheory/categories.gi
+++ b/lib/CategoryTheory/categories.gi
@@ -10,13 +10,11 @@
 ## The category of groups. As the implementation improves the properties
 ## of this category will increase! 
 ##
-Category_Of_Groups:="Category_Of_Groups";
-HAP_type:= NewType(NewFamily("Category_Of_Groups"),
+BindGlobal("Category_Of_Groups", Objectify(
+           NewType(NewFamily("Category_Of_Groups"),
                        IsString  and 
                        HasInitialObject
-		       and HasTerminalObject);
-ObjectifyWithAttributes(Category_Of_Groups,HAP_type);
-MakeReadOnlyGlobal("Category_Of_Groups");
+		       and HasTerminalObject), []));
 
 
 #############################################################################
diff --git a/lib/CategoryTheory/categories.giworking b/lib/CategoryTheory/categories.giworking
index 331c080a..c16b69b2 100644
--- a/lib/CategoryTheory/categories.giworking
+++ b/lib/CategoryTheory/categories.giworking
@@ -10,13 +10,11 @@
 ## The category of groups. As the implementation improves the properties
 ## of this category will increase! 
 ##
-Category_Of_Groups:="Category_Of_Groups";
-HAP_type:= NewType(NewFamily("Category_Of_Groups"),
+BindGlobal("Category_Of_Groups", Objectify(
+           NewType(NewFamily("Category_Of_Groups"),
                        IsString  and 
                        HasInitialObject
-		       and HasTerminalObject);
-ObjectifyWithAttributes(Category_Of_Groups,HAP_type);
-MakeReadOnlyGlobal("Category_Of_Groups");
+		       and HasTerminalObject), []));
 
 
 #############################################################################
diff --git a/lib/hap_afterthought.gd b/lib/hap_afterthought.gd
index 9c9eaa34..fac13af8 100644
--- a/lib/hap_afterthought.gd
+++ b/lib/hap_afterthought.gd
@@ -16,7 +16,6 @@ fi;
 #MakeReadOnlyGlobal("HAP_PERMMOVES_DIM_2");
 #MakeReadOnlyGlobal("HAP_PERMMOVES_DIM_3");
 #MakeReadOnlyGlobal("HAP_XYXYXYXY");
-#MakeReadOnlyGlobal("HAP_type");
 #MakeReadOnlyGlobal("HAPchildFunctionToggle");
 #MakeReadOnlyGlobal("HAPchildToggle");
 #MakeReadOnlyGlobal("HAPchildren");