Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: ∞-connected (∞,1)-topos

Bottom of Page

1 to 3 of 3

  1.  
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeOct 19th 2010

    I split off ∞-connected (∞,1)-topos from locally ∞-connected (∞,1)-topos and added a proof that a locally ∞-connected (∞,1)-topos is ∞-connected iff the left adjoint Π\Pi preserves the terminal object, just as in the 1-categorical case. I also added a related remark to shape of an (∞,1)-topos saying that when H is locally ∞-connected, its shape is represented by Π(*)\Pi(*).

    I hope that these are correct, but it would be helpful if someone with a little more ∞\infty-categorical confidence could make sure I’m not assuming something that doesn’t carry over from the 1-categorical world.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2010
    • (edited Oct 21st 2010)

    Thanks, Mike!

    This does look correct. For the single possibly nonevident point– that every ∞\infty-groupoid is the (∞,1)(\infty,1)-colimit over itself of the diagram constant on the point – I have added a link to this proposition.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeOct 21st 2010

    Thanks.

1 to 3 of 3

  1.