Projekt:Semantische Organisation der Mathematik/Notations-Kategorie
Erscheinungsbild
Eine Notations-Kategorie ist eine Kategorie, in der zu einer bestimmten mathematischen (Teil-)Theorie Notationen gesammelt werden. Sie bezieht sich dabei auf eine möglichst feine Theorie-Kategorie.
Wie jede Text-Kategorie wird eine Notations-Kategorie mit [[Theorie-Kategoriename/Notationen]] bezeichnet. Sie wird als Unterkategorie der Definitionskategorie realisiert.