Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I was forced to split off the section on infinitesimal cohesion from the entry cohesive (infinity,1)-topos – because after I had expanded it a little more, the nLab server was completely refusing to safe the entry (instead of just being absurdly slow with doing so). I guessed that it is was its length that caused the software to choke on it, and it seems I was right. The split-off subsection is now here:
cohesive (infinity,1)-topos – infinitesimal cohesion
Things I have edited:
added a bried Idea-paragraph at the beginning;
changed the terminology from “$\infty$-Lie algebroid” to “formally cohesive infinity-groupoid” , making the former a special case (first order) of the latter;
expanded the definition of formal smoothness, added remarks on formal unramifiedness in the $\infty$-context.
polished this and that and then made the general de Rham theorem for $\infty$-stacks explicit in the section Flat oo-connections
I have added at cohesive (infinity,1)-topos – infinitesimal cohesion the closure properties of abstract formally étale morphisms (under 2/3rds of two-out-of-three, under retracts, and under $\infty$-pullbacks): in this proposition
This is the straightforward generalization of the corresponding 1-categorical discussion at formally etale morphism
am starting a section Jet bundle objects at infinitesimal cohesion .
I see in several forum discussions today you wrote Jet with capital letter (I understand here is a section title), is there a secret reason or just accidentaly this happens ? (ignore the question if no reason)
yes, sorry, my fingers kept doing this. I was wondering myself why that was happening ;-)
1 to 7 of 7