Talk:History of topos theory

Almost no dates or references

A history with almost no dates and no references! A great start, but let's improve it. John Baez (talk) 16:49, 3 June 2017 (UTC)

Three things

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.--Cronholm¹⁴⁴ 08:24, 16 July 2007 (UTC)

This is an excellent idea for an article. But it needs references! 86.154.103.200 (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)