add ordinal number category
This commit is contained in:
parent
eb8996c192
commit
698e0290ee
2 changed files with 9 additions and 0 deletions
|
@ -142,3 +142,11 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands
|
||||||
[
|
[
|
||||||
\translate{GrAb~(Category~description)}
|
\translate{GrAb~(Category~description)}
|
||||||
]
|
]
|
||||||
|
\DeclareCategory
|
||||||
|
[
|
||||||
|
operator = \operatorname,
|
||||||
|
formula = \Delta,
|
||||||
|
ordered = Ordinal,
|
||||||
|
description = \translate{Ordinal ~ number ~ category ~ (Category ~ description)}
|
||||||
|
]
|
||||||
|
{OrdCat}
|
||||||
|
|
|
@ -16,3 +16,4 @@ Field (Category description),Fields and field extensions,Körper und Körpererwe
|
||||||
AffVar (Category description),Affine Varieties over $k$,Affine Varietäten über $k$
|
AffVar (Category description),Affine Varieties over $k$,Affine Varietäten über $k$
|
||||||
Sch (Category description),Schemes and homomorphisms,Schemata und Homomorphismen
|
Sch (Category description),Schemes and homomorphisms,Schemata und Homomorphismen
|
||||||
GrAb (Category description),Graded abelian groups and homomorphisms,Graduierte Gruppen und Homomorphismen
|
GrAb (Category description),Graded abelian groups and homomorphisms,Graduierte Gruppen und Homomorphismen
|
||||||
|
Ordinal number category (Category description),Finite ordinal numbers and order-preserving maps,Endliche Ordinalzahlen und ordnungserhaltende Abbildungen
|
||||||
|
|
Loading…
Reference in a new issue