Wikipedia:Articles for deletion/Strong monad
- The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.
The result was keep. I hope those editors arguing to Keep this article spend some time now improving it to address issues brought up by editors advocating Deletion. Liz Read! Talk! 03:56, 28 July 2024 (UTC)
[Hide this box] New to Articles for deletion (AfD)? Read these primers!
- Strong monad (edit | talk | history | protect | delete | links | watch | logs | views) – (View log | edits since nomination)
- (Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)
Article is >90% mathematical notation and diagrams, and minimal general-interest content. Looks like an excerpt from a research paper. WP:NOTTEXTBOOK: article should not be presented on the assumption that the reader is well-versed in the topic's field. If content is useful for encyclopedia, it might be summarized and moved to Monad (category theory). beefyt (talk) 20:55, 16 July 2024 (UTC)
- Automated comment: This AfD was not correctly transcluded to the log (step 3). I have transcluded it to Wikipedia:Articles for deletion/Log/2024 July 16. —cyberbot ITalk to my owner:Online 21:12, 16 July 2024 (UTC)
- Note: This discussion has been included in the list of Computing-related deletion discussions. Shellwood (talk) 21:22, 16 July 2024 (UTC)
- Note: This discussion has been included in the list of Mathematics-related deletion discussions. XOR'easter (talk) 19:33, 24 July 2024 (UTC)
- Delete per nom; a definition pulled from a research-paper with insufficient usage by others. Walsh90210 (talk) 22:46, 16 July 2024 (UTC)
- Delete per nom, or TNT if someone has the expertise. Ldm1954 (talk) 13:45, 21 July 2024 (UTC)
- Delete per nom. There's no even content worth merging. Tercer (talk) 14:54, 23 July 2024 (UTC)
- Keep. Many mathematics articles do suffer from being written at the graduate student level. However, we are not here to judge people's prose, but instead to determine if the article meets our notability guidelines (in this case, WP:NMATH and/or WP:GNG). I'm able to find a good number of reliable sources that cover this subject, even modern ones, including "What makes a monad strong?" (2022) (see also: related conference presentation), "Scope ambiguities, monads, and strengths" (2017), "Arrows are strong monads" (2011), among other sources. Since editing can fix the issues raised here, and the subject is notable, the article should be kept, or at least not deleted wholesale. — Red-tailed hawk (nest) 20:09, 23 July 2024 (UTC)
- What you cite pretty much looks like primary sources. While these establish the existence of the subject, they do not establish its notability. An artcle cannot be based solely on primary sources. The article was tagged since 2022, but it was basically untouched since 2006 save formatting. - Altenmann >talk 23:55, 23 July 2024 (UTC)
- A read through
What makes a monad strong?
, for example, indicates that it is absolutely a secondary source with respect to the strength of monads. And even "Notions of computation and monads" (1991) provides a survey on the work of prior mathematicians on the concept of strong monads (for example, see the discussion on pages 16 and 17, where the author is discussing prior works by G. Plotkin). Can you explain why you think these are merely primary sources? — Red-tailed hawk (nest) 13:47, 24 July 2024 (UTC)
- A read through
- What you cite pretty much looks like primary sources. While these establish the existence of the subject, they do not establish its notability. An artcle cannot be based solely on primary sources. The article was tagged since 2022, but it was basically untouched since 2006 save formatting. - Altenmann >talk 23:55, 23 July 2024 (UTC)
Relisted to generate a more thorough discussion and clearer consensus.
Please add new comments below this notice. Thanks, Extraordinary Writ (talk) 23:19, 23 July 2024 (UTC)
- Dratify' - trusting User:Red-tailed hawk that it may be salvageable. - Altenmann >talk 23:55, 23 July 2024 (UTC)
- Delete: Likely too technical for a general wiki, and to be honest, I don't know what a monad is after reading the article. It's sourced, but this is not appropriate for Wikipedia. Oaktree b (talk) 00:07, 24 July 2024 (UTC)
to be honest, I don't know what a monad is after reading
- <chuckle-chuckle>, I can say the same about half of articles in philosophy (and probably math; didnt try:-) - Altenmann >talk 00:11, 24 July 2024 (UTC)
- We do not delete articles merely because the sources are hard to understand for someone who lacks prerequisite mathematical knowledge. We would not delete Repatriation tax avoidance merely because a group of editors does not understand the concept of a repatriation taxes, nor Zermelo–Fraenkel set theory (the standard foundation of modern math) merely because a group does not understand set theory. If the sources are there, even if the subject might be hard for the average joe to wrap their head around, we don't purge the article merely because we ourselves don't understand the technical sources. — Red-tailed hawk (nest) 13:51, 24 July 2024 (UTC)
- Correct. We delete based on notability; which is questioned here. But I did agree with your POV, hence my suggestion to draftify the article until someone makes from it somethin acceptable. Are you ready to do this? - Altenmann >talk 16:08, 24 July 2024 (UTC)
- Wikipedia is a "general wiki" in the sense that it covers all topics for which we can find sources, not in the sense that every article has to be completely comprehensible to every random drive-by reader. XOR'easter (talk) 19:36, 24 July 2024 (UTC)
- Straw man argument. In AfD we discuss notability according to our criteria. Readability is not an issue. Let me give you a non-"rocket science" example. There are plenty of drummers which had gigs with numerous bands , but they still do not satisfy WP:NMUSIC despite the fact they can be found in numerous sources.- Altenmann >talk 19:46, 24 July 2024 (UTC)
Keep. As much as I dislike the text, the WP:GNG is clearly fulfilled: article after article filled with formulas and peer-reviewed. A heady mix of functional programming and quantum computing cannot be expected to be easy to understand (and, for avoidance of doubt, IMHO impossible to actually implement, but I will be happy to be proven wrong on the latter). --Викидим (talk) 18:39, 24 July 2024 (UTC)Retracting. This text appears to be purely category theory-related. Still notable IMHO, but can be explained with proper links and background articles. Draftify. --Викидим (talk) 18:56, 24 July 2024 (UTC)- I do not understand the rationale for draftifying instead of just keeping. Why is a topic being "purely category theory-related" a problem? If the topic is notable, why can't the improvement work happen in article space? XOR'easter (talk) 19:40, 24 July 2024 (UTC)
- Please see Wikipedia:DRAFTIFY.
why can't the improvement work happen in article space?
- you tell me. Why nobody cared since 2006? My guess: @dgaf. Recently some admins took a serious issue with poor articles and draftified quite a few of them in my watchlist without bothering with AfD, and guess what? in 50% of cases nobody cared. - Altenmann >talk 19:50, 24 July 2024 (UTC) - Purely category-theory related is not an issue with the subject. Category theory is actually a very basic and therefore relatively easy to explain area of mathematics. Unless quantum computing is involved (and it can be! and I wrongfully thought it is, thus my original remark that things are quite complicated), there is little excuse not to explain things properly here (that is at the level, where a high school student with ability to read diagrams and patience to read the leads of a few adjacent articles, would be able to at least grasp an idea of what a strong monad is). The current article already does link to Monad (category theory), but the latter lacks any plain-language examples, instead deferring to endofunctor that in turn totally lacks any explanation - yet refers to polynomial functor - that in turn completes the tail-loop of links by referring back to endofunctor. It does not have to be like this, some of examples of categories in the Category theory are quite comprehensible, so can be examples of monads (and endofunctors). Викидим (talk) 20:52, 24 July 2024 (UTC)
- This is not a good candidate for draftication. For an article that has gone so long without attention, draftification is just a stealth method of slow deletion: wait six months for no more improvement and then delete it as a stale draft. Have the courage of your convictions. If you think it should be deleted, the time is now, not six months from now. If you think it should be cleaned up and kept, then !vote keep so that it can be cleaned up without a looming deadline. —David Eppstein (talk) 07:32, 25 July 2024 (UTC)
- I have actually started changing the articles in the series to be more readable by the uninitiated. The first one is Category theory itself, where I am slowly adding easy-to-understand examples to the lead. This is a significant piece of work if WP:OR is to be avoided. That said, you have a point (and even if article is changed, there is an enormous backlog for the articles that are not easy to proofread), although it appears to me that the people who can understand the article now do not need read our text, as they must already know the details well. Anyhow, you have convinced me, I am reverting my vote back to Keep. God willing, I will get to this article within few months. Викидим (talk) 08:34, 25 July 2024 (UTC)
- Just for the record: the result of my editing yesterday could have been predicted (i.e., reverted as "Wikipedia is not a textbook"). I might at some point try to discuss improving the readability on the relevant talk page. My keep vote stands, but now my position WRT this article can be summed up by the famous phrase, "A monad is just a monoid in the category of endofunctors, what's the problem?" (for the avoidance of doubt, I know enough to fully appreciate this joke). Викидим (talk) 17:44, 25 July 2024 (UTC)
- This is not a good candidate for draftication. For an article that has gone so long without attention, draftification is just a stealth method of slow deletion: wait six months for no more improvement and then delete it as a stale draft. Have the courage of your convictions. If you think it should be deleted, the time is now, not six months from now. If you think it should be cleaned up and kept, then !vote keep so that it can be cleaned up without a looming deadline. —David Eppstein (talk) 07:32, 25 July 2024 (UTC)
- Please see Wikipedia:DRAFTIFY.
- I do not understand the rationale for draftifying instead of just keeping. Why is a topic being "purely category theory-related" a problem? If the topic is notable, why can't the improvement work happen in article space? XOR'easter (talk) 19:40, 24 July 2024 (UTC)
- Keep. This article is useful for any WP reader looking for an article on Strong monad, who expects to find something. They may want to read the Strong monad page after starting with the category theory page. A person doesn't have to instantly understand the content of a page for a page to be useful. This page is ok as it is and remains useful. At the same time it can also be improved. Rockycape (talk) 01:24, 25 July 2024 (UTC)
- Keep. The way the article is written is not the way a math article should be written. The first paragraph is especially problematic; it would make almost no sense to someone who know doesn’t monads. Having said that, that’s not the reason for the deletion. If the notability is in question, a merger is a better option here. Again not the reason for the deletion. —- Taku (talk) 07:16, 25 July 2024 (UTC)
- Keep. I found enough reliably-published sources for which this topic is so central as to be in the title to convince me of a pass of WP:GNG. The article is not in great shape but WP:DINC and it's on a technical enough topic that even cleaned up I wouldn't expect it to have a large target audience. Technicality is not a valid reason for deletion; we want to be an encyclopedia of everything not just of pop culture. Here are some sources (seemingly more in computer science / programming language semantics than in pure mathematics):
- McDermott & Uustalu "What makes a strong monad" (MSFP 2022), https://arxiv.org/abs/2207.00851
- Ratković "Notion of strong monad in computing" (IT 2018), https://doi.org/10.1109/SPIT.2018.8350848
- Asada "Arrows are strong monads" (SIGPLAN MSFP 2010), https://doi.org/10.1145/1863597.1863607
- Mulry "Strong monads, algebras and fixed points" (ACCS 1992), https://books.google.com/books?id=7g5WU-D8RkIC&pg=PA202
- Heckmann "Product operations in strong monads" (TFM 1993), https://doi.org/10.1007/978-1-4471-3503-6
- Townsend "When are enriched strong monads double exponential monads?" (Simon Stevin 2016), https://projecteuclid.org/journals/bulletin-of-the-belgian-mathematical-society-simon-stevin/volume-23/issue-2/When-are-enriched-strong-monads-double-exponential-monads/10.36045/bbms/1464710120.full
- Keep Needs work, won't be a very popular page even if it gets work, but the available sourcing (see just above) indicates that there's an encyclopedic topic here. XOR'easter (talk) 16:18, 25 July 2024 (UTC)
- Keep The concept of the strong monad has been around for a half-century. David has given evidence of multiple in-depth reliable sources discussing the concept over the years and the nLab entry lists more sources, so the concept passes notability requirements per WP:GNG. The content is highly technical, but makes sense as far as I can tell. With notability satisfied and an article with improvable content, I don't see a policy-based reason for deletion. Hence, keep. --
{{u|Mark viking}} {Talk}
17:13, 25 July 2024 (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 (such as the article's talk page or in a deletion review). No further edits should be made to this page.