Wednesday, February 23, 2011

??what about relationship between .... [???lawvere's ideas about topos where object is space, vs topos which is space ... ?? ...??and so forth ???....] and [something about ... confusion (and so forth ...) between "stacks" and "algebraic stacks" ... ??? ??and so forth ???...] ??? ... ??

??so... the sort of topos that lawvere seems to want to think of as having its objects be spaces ...??how do _i_ think of its objects ??? ... ??as formulas of geometric theory ... ??? ... hmmm... ??but something about ... special case ... rather boring theory ... ??or something???... ??hmm, maybe only "relatively boring" ... ???.... ???theory of local comm ring ... ???...

"the ring" ...

"the ring squared" ...

"the invertible elements" ...

hmmm...

??something about "the functorial viewpoint" ... ???....

??something about... "turning the yoneda crank" ... ??...

???hmm, what about decategorified analog "improving t-algebra to frame" ... ??? or something??? ...

No comments:

Post a Comment