Talk:Descent (category theory)
| WikiProject Mathematics (Rated Stub-Class) | ||||||
|---|---|---|---|---|---|---|
| This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks. | ||||||
| Mathematics rating: | Stub Class | Mid Priority | Field: Foundations, logic, and set theory | |||
|
||||||
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)