# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeApr 14th 2011
• (edited Apr 14th 2011)

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.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeApr 14th 2011
• (edited Apr 14th 2011)

polished this and that and then made the general de Rham theorem for $\infty$-stacks explicit in the section Flat oo-connections

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeApr 29th 2011
• (edited Apr 29th 2011)

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

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeMay 2nd 2011
• (edited May 2nd 2011)

I have improved (here) the discussion of the proof that intrinsically defined formally étale morphisms are closed under retract (using the refined discussion at retract)

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 17th 2011
• (edited Jun 17th 2011)

am starting a section Jet bundle objects at infinitesimal cohesion .

• CommentRowNumber6.
• CommentAuthorzskoda
• CommentTimeJun 17th 2011

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)

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeJun 17th 2011

yes, sorry, my fingers kept doing this. I was wondering myself why that was happening ;-)