Talk:Category theory

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
WikiProject iconVital articles: Level 4 / Mathematics B‑class
WikiProject iconCategory theory has been listed as a level-4 vital article in Mathematics. If you can improve it, please do.
BThis article has been rated as B-class on Wikipedia's content assessment scale.

Why is this article separate from Category (mathematics)?[edit]

It seems to me that either they should be merged, or that at the very least, there should be hatnotes for disambiguation and context. It is too far out of my competence for me to do it, but something either is wrong, or incomplete.JonRichfield (talk) 04:33, 3 September 2020 (UTC)Reply[reply]

My understanding is that Category (mathematics) deals with the specific object called a category, while category theory deals with categories, morphisms, natural transformations, and related subjects. Adding things like natural transformations into the category page would be flat out wrong, and I think there is plenty of evidence that such a summary page as this is notable and related. For a similar thing, I would compare set (mathematics) and set theory. Integral Python click here to argue with me 15:45, 3 September 2020 (UTC)Reply[reply]

Labeled directed graph?[edit]

If someone has the time, please remove the reference to "labeled directed graph". For once, it is wrong, a graph has a set of nodes, a category has a class. Also, the word graph never appears again in the whole article. And what even is the labelling supposed to represent? --345Kai (talk) 16:51, 12 April 2022 (UTC)Reply[reply]

I agree that the the reference to graphs is definitively wrong and must be removed. The article has many other issues and needs to be completely rewritten. Just now, I have not the time for fixing them. D.Lazard (talk) 20:00, 12 April 2022 (UTC)Reply[reply]
I have rewritten the lead completely and removed the confusing essay-like sections. D.Lazard (talk) 14:58, 13 April 2022 (UTC)Reply[reply]
For once?
פשוט pashute ♫ (talk) 20:32, 7 November 2022 (UTC)Reply[reply]

Why were the letters hom() chosen[edit]

Is it short for home? If so how does that relate to morphs? If not, why were those letters chosen? פשוט pashute ♫ (talk) 20:33, 7 November 2022 (UTC)Reply[reply]

This the abbreviation of "homomorphism". D.Lazard (talk) 20:38, 7 November 2022 (UTC)Reply[reply]