Spahn 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 $(\infty,1)$-sheaf $(\infty,1)$-topos on the $(\infty,1)$-site ThCartSp.

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

References

• Jacob Lurie, Formal moduli problems

• Vladimir Hinich, DG coalgebras as formal stacks, (arXiv:math/9812034