add CGHaus and SimplicialSet categories

This commit is contained in:
Maximilian Keßler 2022-06-27 15:56:21 +02:00
parent cf7b02f41f
commit 3a734d9f1b
2 changed files with 13 additions and 0 deletions

View File

@ -148,6 +148,17 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands
[ [
\translate{GrAb~(Category~description)} \translate{GrAb~(Category~description)}
] ]
\DeclareSimpleCategory
{ CGHaus }
[
\translate{CGHaus~(Category~description)}
]
\DeclareSimpleCategory
{ SimplicialSet }
[
formula = S,
\translate{SimplicialSet~(Category~description)}
]
\DeclareCategory \DeclareCategory
[ [
operator = \operatorname, operator = \operatorname,

View File

@ -17,3 +17,5 @@ AffVar (Category description),Affine Varieties over $k$,Affine Varietäten über
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 Ordinal number category (Category description),Finite ordinal numbers and order-preserving maps,Endliche Ordinalzahlen und ordnungserhaltende Abbildungen
CGHaus (Category description), Compactly generated Hausdorff spaces and continuous maps, Kompakt erzeugte Hausdorffräume und stetige Abbildungen
SimplicialSet (Category description), Functor category $[\OrdCat, \Set]$, Funktorkategorie $[\OrdCat, \Set]$