diff --git a/src/math/categories.pysty3 b/src/math/categories.pysty3
new file mode 100644
index 0000000..8fdaa7f
--- /dev/null
+++ b/src/math/categories.pysty3
@@ -0,0 +1,139 @@
+__HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands specific for defining categories
+
+\RequirePackage{__AUTHOR_ACRONYM__-symbindex}
+\RequirePackage{translator}
+\RequirePackage{amsmath}
+
+\usedictionary{translator-mathematical-categories-dictionary}
+
+\NewDocumentCommand{\category}{ m }
+  {
+    \operatorname{\textbf{#1}}
+  }
+
+
+\NewDocumentCommand{\DeclareCategory}{ O{} m }
+  {
+    \DeclareSymbol[group = categories, #1]{#2}
+  }
+
+
+\NewDocumentCommand{\DeclareSimpleCategory}{ o m o}
+  {
+    \IfValueTF{#1}
+      {
+        \IfValueTF{#3}
+        {
+          \DeclareCategory[operator = \category, description = #3, #1]{#2}
+        }
+        {
+          \DeclareCategory[operator = \category, #1]{#2}
+        }
+      }
+      {
+        \IfValueTF{#3}
+        {
+          \DeclareCategory[operator = \category, description = #3]{#2}
+        }
+        {
+          \DeclareCategory[operator = \category]{#2}
+        }
+      }
+  }
+
+\makeindex
+  [
+    name = categories,
+    title = \translate{Index~of~categories}
+  ]
+
+
+%%%% Categories
+\DeclareSimpleCategory
+  { Top }
+  [
+    \translate{Top~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { hTop }
+  [
+    \translate{hTop~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Set }
+  [
+    \translate{Set~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { CHaus }
+  [
+    \translate{CHaus~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Grp }
+  [
+    \translate{Grp~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Ab }
+  [
+    \translate{Ab~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { CRing }
+  [
+    \translate{CRing~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Ring }
+  [
+    \translate{Ring~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  [
+    defaultargs = _k
+  ]
+  { Vect }
+  [
+    \translate{Vect~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Cat }
+  [
+    \translate{Cat~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  [
+    defaultargs = _R
+  ]
+  { Mod }
+  [
+    \translate{Mod~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  [
+    defaultargs = _k
+  ]
+  { Alg }
+  [
+    \translate{Alg~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  { Field }
+  [
+    \translate{Field~(Category~description)}
+  ]
+\DeclareSimpleCategory
+  [
+    defaultargs = _k
+  ]
+  { AffVar }
+  [
+    \translate{AffVar~(Category~description)}
+  ]
+
+\DeclareSimpleCategory
+  { Sch }
+  [
+    \translate{Sch~(Category~description)}
+  ]
diff --git a/src/math/mathematical-categories.pydict b/src/math/mathematical-categories.pydict
new file mode 100644
index 0000000..e414ae8
--- /dev/null
+++ b/src/math/mathematical-categories.pydict
@@ -0,0 +1,19 @@
+key,English,German
+Index of categories,Index of categories,Kategorienverzeichnis
+Top (Category description), spaces and continuous maps, Räume und stetige Abbildungen
+Set (Category description),Sets and functions,Mengen und Funktionen
+hTop (Category description),Spaces and homotopy classes of continuous maps,Räume und Homotopieklassen von stetigen Abbildungen
+CHaus (Category description),Compact hausdorff spaces and continuous maps,Kompakte Hausdorffräume und stetige Abbildungen
+Grp (Category description),Groups and homomorphisms,Gruppen und Homomorphismen
+Ab (Category description),Abelian groups and homomorphisms,Abelsche Gruppen und Homomoorphismen
+CRing (Category description),Commutative rings and homomorphisms,Kommutative Ringe und Homomorphismen
+Ring (Category description),Rings and homomorphisms,Ringe und Homomorphismen
+Vect (Category description),$k$-vector spaces and linear maps,Vektorräume und lineare Abbildungen
+Cat (Category description),Small categories and functors,Kleine Kategorien und Funktoren
+Mod (Category description),Left $R$-modules and homomorphisms,$R$-Linksmodule und Homomorphismen
+Alg (Category description),$k$-algebras and homomorphisms,$k$-Algebren und Homomorphismen
+Field (Category description),Fields and field extensions,Körper und Körpererweiterungen
+AffVar (Category description),Affine Varieties over $k$,Affine Varietäten über $k$
+Sch (Category description),Schemes and homomorphisms,Schemata und Homomorphismen
+
+