From 3a734d9f1bacf9327c8efe588921cc9914838ca8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Mon, 27 Jun 2022 15:56:21 +0200 Subject: [PATCH] add CGHaus and SimplicialSet categories --- src/math/categories/categories.pysty3 | 11 +++++++++++ src/math/categories/mathematical-categories.pydict | 2 ++ 2 files changed, 13 insertions(+) diff --git a/src/math/categories/categories.pysty3 b/src/math/categories/categories.pysty3 index 87ca607..ccf6f1b 100644 --- a/src/math/categories/categories.pysty3 +++ b/src/math/categories/categories.pysty3 @@ -148,6 +148,17 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands [ \translate{GrAb~(Category~description)} ] +\DeclareSimpleCategory + { CGHaus } + [ + \translate{CGHaus~(Category~description)} + ] +\DeclareSimpleCategory + { SimplicialSet } + [ + formula = S, + \translate{SimplicialSet~(Category~description)} + ] \DeclareCategory [ operator = \operatorname, diff --git a/src/math/categories/mathematical-categories.pydict b/src/math/categories/mathematical-categories.pydict index 85a2403..358dd7e 100644 --- a/src/math/categories/mathematical-categories.pydict +++ b/src/math/categories/mathematical-categories.pydict @@ -17,3 +17,5 @@ AffVar (Category description),Affine Varieties over $k$,Affine Varietäten über Sch (Category description),Schemes and homomorphisms,Schemata 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 +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]$