Talk:Descent (category theory)

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Stub Class	Mid Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Close to start class. A reference would help. Geometry guy 00:28, 3 June 2007 (UTC) Rerated to MID. A critical concept and tool in modern algebraic geometry (for moduli spaces, as an example). Moreover a valuable organsing principle for many other topics. The present article has not yet reached a level that would make this clear, I'm afraid. Could be classified in (algebraic) geometry or topology as well. Stca74 17:24, 14 June 2007 (UTC)

I find the second part of the following sentence (starting with ": more") in the intro quite unclear: "The reason for abstraction here is, at a fundamental level, that passage to a quotient space is not very well-behaved in topology: more accurately, it is a tribute to the efforts to use category theory to get round the alleged 'brutality' of imposing equivalence relations within geometric categories."--MarSch 09:51, 14 October 2005 (UTC)

I have expanded the introduction, but I suppose you may not like it much better yet. Charles Matthews 10:40, 14 October 2005 (UTC)

In the section on history I find comment on "the representable functor question in algebraic geometry in general". I thought representable functors formed a language for describing many constructions (and associated problems of existence), not a single open question looming large. Have I been missing something? 128.135.60.45 03:54, 8 August 2007 (UTC)