Projekt:Semantische Organisation der Mathematik/Notations-Kategorie

Aus Wikiversity

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.