Talk:History of topos theory

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
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:
Start Class
Low Importance
 Field: Foundations, logic, and set theory (historical)

Three things:

1. "...barrier to having a good geometric theory (in which it was somewhat like a compact manifold)..."

I don't understand what's between the parentheses.

2. "In the light of later work (c. 1970), 'descent' is part of the theory of comonads;"

I don't like this. 'Descent' is a technique for proving things. It's possible to describe the technique using comonads, but in practice, at least in geometry, it isn't done this way.

3. "The current definition of topos goes back to William Lawvere."

I don't think this is right. Papers in geometry use "topos" to mean "Grothendieck topos." Papers in logic or pure category theory use "topos" to mean "elementary topos." Grothendieck topoi are special cases of elementary topoi but I don't think this makes a difference to geometers.

Anyone disagree strongly?

Changbao 20:32, 19 July 2006 (UTC)

No (I don't disagree), What this article needs is some reference material.--Cronholm144 08:24, 16 July 2007 (UTC)

This is an excellent idea for an article. But it needs references! (talk) 09:59, 28 March 2009 (UTC)

Can you say "too few points" or "not enough open subsets" FOR WHAT? Keithbowden (talk) 14:14, 2 September 2012 (UTC)