Help:Categories

Part of the refactoring of Help:Editing; main page is User:Lord Farin/Sandbox/Help:Editing

This pages lists policies and manuals regarding the use of categories, an organizational feature that makes locating ProofWiki 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.