add category of graded abelian groups
This commit is contained in:
parent
da44daa271
commit
1966cb5d2b
2 changed files with 23 additions and 0 deletions
|
@ -137,3 +137,8 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands
|
||||||
[
|
[
|
||||||
\translate{Sch~(Category~description)}
|
\translate{Sch~(Category~description)}
|
||||||
]
|
]
|
||||||
|
\DeclareSimpleCategory
|
||||||
|
{ GrAb }
|
||||||
|
[
|
||||||
|
\translate{GrAb~(Category~description)}
|
||||||
|
]
|
||||||
|
|
18
src/utils/mathematical-categories.pydict
Normal file
18
src/utils/mathematical-categories.pydict
Normal file
|
@ -0,0 +1,18 @@
|
||||||
|
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
|
||||||
|
GrAb (Category description),Graded abelian groups and homomorphisms,Graduierte Gruppen und Homomorphismen
|
Loading…
Reference in a new issue