Wikipedia:Categories for discussion/Log/2017 March 24

March 24

Category:Category-theoretic categories

The following is an archived discussion concerning one or more categories. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.
The result of the discussion was: rename to Category:Categories in category theory, as no other name has gained consensus as better, and there seems to be consensus that the old name is worse. If I understand correctly: the objection to this name (by Taku) is that categories like Category of abelian groups (which is a member here) "do appear outside the category theory", but since that member does appear in category theory, the proposed name is not incorrect. – Fayenatic London 16:32, 1 May 2017 (UTC)[reply]
Nominator's rationale: If I understand rightly, "category-theoretic categories" merely means categories associated with category theory. If that's the case, this is simpler wording. The problem is that "category-theoretic" might have some precise meaning that I'm missing, and part of the reason for renaming is to ensure that nobody thinks the name has technical meanings more precise than category theory in general. I'm open to slight alternate versions, e.g. "Categories of category theory", if others think those alternate versions are better. Nyttend (talk) 23:31, 22 February 2017 (UTC)[reply]
  • Comment. The purpose of the "category-theoretic" is to mark these as being the kind of category considered in category theory and to distinguish them from Category:Wikipedia categories. So if we're going to rename this one to "Categories in category theory", shouldn't we also consider renaming the other one to "Categories in Wikipedia" for consistency? That said, I don't have a strong opinion on this, only a mild preference that Keenan Pepper's comment on Category talk:Category-theoretic categories that "this page has one of the most ridiculous names in all Wikipedia" should continue to be true. But I don't think the proposed name makes much difference in that respect. On the other hand, the other suggested name "categories of category theory" is slightly problematic as it is too easily misread as meaning something like "categories of categories in category theory" which (if it existed) would be a subcategory with only one member, Category of small categories. —David Eppstein (talk) 23:48, 22 February 2017 (UTC)[reply]
  • Suggestion, how about Category:Categories (mathematics)? Marcocapelle (talk) 18:09, 25 February 2017 (UTC)[reply]
Relisted to generate a more thorough discussion and clearer consensus.
Please add new comments below this notice. Thanks, – Fayenatic London 16:01, 24 March 2017 (UTC)[reply]
  • Note: I have tagged the category as belonging to WikiProject Maths, and left a note at WT:MATH. – Fayenatic London 16:06, 24 March 2017 (UTC)[reply]
  • Comment. The purpose of the category is to enumerate the objects of Cat (the category of all categories) that have a Wikipedia article. The strange title seems necessary to communicate that this is not about "categories" in the sense of Wikipedia categories and, moreover, that the inhabitants of the category under discussion should be objects of Cat, as opposed to articles that are about category theory in general. On my reading, the proposed change to Category: Categories (mathematics) fails this latter disambiguation. I don't feel strongly about Category:Categories in category theory. Sławomir Biały (talk) 00:17, 25 March 2017 (UTC)[reply]
A different route would be a rename to Category:Objects of the category of all categories, which after all is what we mean. Sławomir Biały (talk) 10:47, 25 March 2017 (UTC)[reply]
No. An object in category theory is an object of a category. So it might be a group (in the category of groups) a set (in the category of sets). What we want are the objects in the category of categories Cat, not the objects in the other categories (Group, Set, etc). Sławomir Biały (talk) 11:55, 25 March 2017 (UTC)[reply]
Category:Categories in mathematics is even worse. Honestly, what is wrong with Category:Objects in the category of all categories? It is the mathematically correct and precise descriptor. WP:CATNAME points out that it is important in technical areas to use the correct names for the category titles: "Particularly for technical subjects, use words and phrases which exist in reliable sources, so that those sources may be used to support inclusion of articles." Sławomir Biały (talk) 21:46, 26 March 2017 (UTC)[reply]
There is some degree of ambiguity for sure; for example, "category" in Baire's category theorem has nothing to do with categories in the sense in the category theory. (That's what Sławomir Biały had in mind?) Personally I don't think this is much of issue since the use of "category" in the non-category-theoretic sense in mathematics is quite rare (that Baire example may be the only one.) -- Taku (talk) 21:55, 26 March 2017 (UTC)[reply]

The above is preserved as an archive of the discussion. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.

Category:Radio stations of the Instituto Mexicano de la Radio

The following is an archived discussion concerning one or more categories. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.
The result of the discussion was: rename. – Fayenatic London 16:35, 1 May 2017 (UTC)[reply]
Nominator's rationale: A shorter name would permit the scope of the category to be broadened if needed — the main article isn't even in the category as it isn't a radio station. The shorter name would also match other categories on Mexico radio station groups. Raymie (tc) 05:10, 24 March 2017 (UTC)[reply]

The above is preserved as an archive of the discussion. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.

Cadenatres

The following is an archived discussion concerning one or more categories. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.
The result of the discussion was: delete. – Fayenatic London 19:59, 1 May 2017 (UTC)[reply]
Nominator's rationale: This "network" only ever had three affiliates (it primarily reached people via cable carriage), and there is no need for it to have its own category as none of its shows had articles. Raymie (tc) 05:02, 24 March 2017 (UTC)[reply]

The above is preserved as an archive of the discussion. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.

Category:Tamaulipas radio templates

The following is an archived discussion concerning one or more categories. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.
The result of the discussion was: rename. I will also copy the current members into the parent Category:Mexico radio navigational boxes (which has no other local sub-categories). – Fayenatic London 20:23, 1 May 2017 (UTC)[reply]
Nominator's rationale: Expand scope of category to include television. There used to be several more templates but these have been TfD'd or reused elsewhere. Raymie (tc) 04:33, 24 March 2017 (UTC)[reply]

The above is preserved as an archive of the discussion. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the category's talk page or in a deletion review). No further edits should be made to this section.
Uses material from the Wikipedia article Wikipedia:Categories for discussion/Log/2017 March 24, released under the CC BY-SA 4.0 license.