All Questions
Tagged with infinity-topos-theory reference-request
4
questions
2
votes
0
answers
207
views
A map that names itself
Call the walking arrow $\Delta_{1}$, containing exactly one nontrivial 1-cell $[0<1] : 0 \to 1$. I am interested in a map $\Phi : \Delta_{1} \to \mathrm{Type}$, such that $\Phi [0<1] = \Phi$ (...
6
votes
2
answers
850
views
Learning roadmap to 'Differential cohomology in a cohesive $\infty$ topos'
I am very curious to study arXiv:1310.7930 (henceforth:DCCT) but am not sure if I have the pre-requisites. I am familiar with basic algebraic topology (singular cohomology, classifying spaces, ...
9
votes
1
answer
257
views
Object classifiers in 1-toposes
In a Grothendieck $\infty$-topos, it is known that, for arbitrarily large regular cardinals $\kappa$, there is a classifier for the class of relatively $\kappa$-compact morphisms. It is also easy to ...
8
votes
0
answers
827
views
Which sites in classical/derived algebraic geometry are hypercomplete?
Local questions:
1) Given a commutative ring $A,$ is $Sh_\infty\left(Spec(A)\right)$ hypercomplete?
2) Given a commutative ring $A,$ is $Sh_\infty\left(Et\left(A\right)\right)$ hypercomplete, where $...