Help:Categories

This pages lists policies and manuals regarding the use of categories, an organizational feature that makes locating pages easier.

Assigning a Category
Each page should reference at least one category, referenced by placing  in the page code. For organizational purposes this is to be added at the very bottom of the page.

So for example, a proof about the properties of sets could go under the category "Set Theory", which is entered as.

Creating Category Pages
Sometimes there arises a need for a new category. For example, a contributor could start working on an as-of-yet uncovered field of mathematics. Alternatively, it can be necessary to split a category into several more specific subcategories if it gets too large.

Categories are simply pages that reside in the "Category" namespace, meaning that their title starts with.

Each new category page also needs to be assigned to a category itself. This is done like on normal pages, by adding  to the category page.

For categories of proofs, the universal category is that of Proofs. If a category is a subcategory of something else, then it suffices to add that something else as a category; the MediaWiki architecture will ensure it can be reached from Proofs.

Several conventions on the creation of categories are in place. In due time, these will be explained here, as well as some useful constructs that make managing and creating categories easier. In the mean time, contact one of the ProofWiki sysops for help.

Naming Categories

 * Also see Help:Page Naming

Plural versus Singular
Plural when the object being categorized is a collective term for objects; e.g. Category:Limits, Category:Axioms, Category:Cycloids, Category:Cyclotomic Polynomials.

Singular when there is only one such object; e.g. Category:Zeta Function, Category:Group Theory, Category:Algebra (as opposed to Category:Algebras, which is used for actual objects.)

Things like

Example Categories
The way in which example categories are named has recently been changed. Consequently, not all example categories currently follow this new convention. More info on how to add example categories will be added in due time.