the higher derived cahiers topos (Rev #1)

The Cahiers topos is the sheaf topos on the site ThCartSp of infinitessimally thickened cartesian spaces. More generally the higher cahiers topos is the (,1)(\infty,1)-sheaf (,1)(\infty,1)-topos on the (,1)(\infty,1)-site ThCartSp.

However the (,1)(\infty,1)-topos arising in this way is (still) a 1-localic (i.e. localic) (,1)(\infty,1)-topos; in other words this notion of higher cahiers topos is no more intelligible than just the classical cahiers topos.


Revision on February 13, 2013 at 03:39:30 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.