Talk:Diagram (category theory)
Jump to navigation
Jump to search
This content was retrieved from
Wikipedia : http://en.wikipedia.org/wiki/Talk:Diagram_(category_theory)WikiProject Mathematics  (Rated Startclass, Midimportance)  


Sources for development of this article may be located at "category theory" diagram – news · newspapers · books · scholar · JSTOR · free images 
Variance of a diagram
Is a "functor" here necessarily a covariant functor? Stephan Spahn (talk) 20:06, 28 May 2011 (UTC)
 Hi Stephan, this is a strange question. A functor is a functor. To say "a contravariant functor from C to D" is an elaborate way to say "a functor from C^{op} to D". Nobody should ever use the notation F:C→D to mean F:C^{op}→D. Occasionally someone might use the phrase "covariant functor" if they want to emphasize the point, but it is not necessary to say covariant at all.
 I don't think that your addition of (covariant) is necessary here, but we can leave it for a few days in case anyone else has a strong opinion. ComputScientist (talk) 10:16, 30 May 2011 (UTC)

 You are right, its not really 'necessary', and its even vaguely awkward, but ... if you are reading this for the first time, and trying to set this in your head, a valid question would be: "gee, do they mean any functor, or just the covariant ones?" and so adding that qualification is appropriate: it promptly eliminates one bit of loose footing. As loose footing is one reason I stumble, I'd say 'keep it'. linas (talk) 15:42, 13 August 2012 (UTC)
Accessibility
The article would be more accessible to interested amateurs if it offered some motivations or intuitions for the notions of "diagram" and "cone". I'm not asking for the historical reasons for these terms, just an indication of why these terms might suggest themselves for, or partly describe, the relevant notions of category theory. yoyo (talk) 22:13, 23 December 2011 (UTC)
This page is based on the copyrighted Wikipedia article "Talk:Diagram (category theory)"; it is used under the Creative Commons
AttributionShareAlike 3.0 Unported License (CCBYSA). You may
redistribute it, verbatim or modified, providing that you comply with
the terms of the CCBYSA