Wikipedia:Redirects for discussion/Log/2022 October 15#Chaitin`s number
=[[Wikipedia:Redirects for discussion/Log/2022 October 15|October 15]]=
==Viserys==
==Aerial art==
==Locally small category==
:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.
:The result of the discussion was keep and retarget
- Keep Locally small category
- Retarget Locally small to Category (mathematics)#Small and large categories (non-admin closure) CycloneYoris talk! 10:32, 22 October 2022 (UTC)
- {{no redirect|1 = Locally small category }} → :Category (mathematics)#Small and large categories (talk · links · history · stats)
[ Closure: {{#ifeq:{{FULLPAGENAME}}|Wikipedia:Redirects for discussion|(@subpage)|[{{fullurl:Locally small category|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Locally small category closed as keep}}}} keep]/[{{fullurl:Locally small category|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Locally small category closed as retarget}}}} retarget]/[{{fullurl:Locally small category|action=delete&wpReason={{Urlencode:{{FULLPAGENAME}}#Locally small category closed as delete}}&wpMovetalk=1}} delete]}} ] - {{no redirect|1 = Locally small }} → :Glossary of category theory#small (talk · links · history · stats)
[ Closure: {{#ifeq:{{FULLPAGENAME}}|Wikipedia:Redirects for discussion|(@subpage)|[{{fullurl:Locally small|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Locally small closed as keep}}}} keep]/[{{fullurl:Locally small|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Locally small closed as retarget}}}} retarget]/[{{fullurl:Locally small|action=delete&wpReason={{Urlencode:{{FULLPAGENAME}}#Locally small closed as delete}}&wpMovetalk=1}} delete]}} ]
These should lead to the same target. 1234qwer1234qwer4 08:24, 23 September 2022 (UTC)
- Comment Subobject#Definitions notes that "locally small" is ambiguous ("this clashes with a different usage of the term locally small, namely that there is a set of morphisms between any two objects") and indeed our Morphism article does use the term but I can't work out with which meaning. I'm surprised that the term is not ambiguous with something outside mathematics but it doesn't appear to be. Thryduulf (talk) 09:37, 23 September 2022 (UTC)
:
{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, Jay 💬 09:13, 30 September 2022 (UTC)
:
{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, CycloneYoris talk! 01:07, 8 October 2022 (UTC)
- Note: I've left a note about this discussion at Wikipedia talk:WikiProject Mathematics. Thryduulf (talk) 22:14, 8 October 2022 (UTC)
- Comment "Locally small" seems to be used in two difference contexts. Looking in nlab, one finds "locally small category" (https://ncatlab.org/nlab/show/locally+small+category) and "locally small object" (https://ncatlab.org/nlab/show/locally+small+object). I suggest the following: (1) Introduce Locally small (category) that redirects to the same as Locally small category. Do not introduce Locally small (object) if we don't currently have an article about that. (2) Delete the redirect Locally small after making sure it's not linked from other wikipedia articles. For my information, how can one check what is linking to Locally small? PatrickR2 (talk) 02:34, 9 October 2022 (UTC)
- : Special:WhatLinksHere/Locally small. Also, I find the idea of deleting a redirect because it's ambiguous with something that isn't mentioned bizarre. * Pppery * it has begun... 02:36, 9 October 2022 (UTC)
- ::Maybe you are right. In that case, we should probably:
- ::(1) Introduce Locally small (category) pointing to the same target as Locally small category.
- ::(2) Edit the few places that currently link to Locally small to use this new wikilink (using piped redirect syntax for convenience), assuming they were referring to locally small categories and not locally small objects.
- ::(3) Leave the redirect Locally small as is, redirecting to the glossary. It would remain ambiguous, but that's the way it is. PatrickR2 (talk) 05:04, 9 October 2022 (UTC)
- Keep as explained in my separate comment. PatrickR2 (talk) 05:07, 9 October 2022 (UTC)
- Comment As someone who has worked in category theory for a bit, my impression is that the meaning given in Category (mathematics)#Small and large categories is by far the predominant one. While I have encountered -small objects for some cardinal very frequently, locally small (objects) are referred to quite rarely. If such ambiguity at the target of Locally small is intended, then one should add a reference to a locally small object to the glossary entry. Felix QW (talk) 09:15, 9 October 2022 (UTC)
- :I agree with you that that is the predominant meaning. PatrickR2 (talk) 20:47, 9 October 2022 (UTC)
- :{{re|Felix QW}} doesn't the glossary entry already have a reference to locally small object? Jay 💬 06:02, 15 October 2022 (UTC)
:
{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Relisting comment: Per the comments.
Please add new comments below this notice. Thanks, Pizzaplayer219TalkContribs 20:41, 15 October 2022 (UTC)
::Hi, not sure why you relisted that again. From the comments so far, people have suggested a few things, introducing other redirects, etc, which is is somewhat outside the scope of the decision at hand. But nobody is suggesting to merge the two links as the original editor was proposing. PatrickR2 (talk) 04:45, 17 October 2022 (UTC)
- Retarget Locally small to Category (mathematics)#Small and large categories and keep Locally small category as a redirect to the same target. Unless there is another meaning of "locally small" existing on Wikipedia, both redirects should point to the same target. GeoffreyT2000 (talk) 05:22, 17 October 2022 (UTC)
- {{re|Jay}} As fas as I can see, the linked glossary entry discusses small objects, but not locally small objects, while it does discuss locally small categories. So unless I missed something, the glossary entry does not actually inform about the ambiguity. Felix QW (talk) 08:13, 17 October 2022 (UTC)
- :I did not realize that. Wikipedia may be incomplete in this respect (see https://ncatlab.org/nlab/show/locally+small+object). But as you mentioned before, the predominant use of "locally small" is for categories and not objects. So we could also decide to just ignore locally small objects in wikipedia? PatrickR2 (talk) 21:15, 17 October 2022 (UTC)
- You are right, my bad. As there is no mention of locally small object at the glossary, I would support Felix QW and GeoffreyT2000 to point both redirects to Category (mathematics)#Small and large categories. Jay 💬 08:28, 22 October 2022 (UTC)
:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.
