Category talk:Order Theory

From ProofWiki
Jump to navigation Jump to search

This category is buried beneath relation theory and set theory. Should we make it a subcategory of proofs as well? It's pretty huge. --Dfeuer (talk) 10:59, 30 January 2013 (UTC)

It's not "huge". "Huge" is over 200 results. 100 or so is comfortable. My gut instinct is "no", it's undeniably a subset of ST and RT. --prime mover (talk) 11:37, 30 January 2013 (UTC)