Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeNov 27th 2012
   • (edited Nov 27th 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have taken the liberty of moving one more bit of Mike's stuff on 2-topos theory from his personal web to the main $n$Lab, namely _[[n-localic 2-topos]]_. (I am trying to fill what used to be the gray links in the proof at _[2-topos -- In terms of intenral categories](http://ncatlab.org/nlab/show/2-topos#InTermsOfInternalCategories)_).

   I have taken the liberty of moving one more bit of Mike’s stuff on 2-topos theory from his personal web to the main $n$Lab, namely n-localic 2-topos.

   (I am trying to fill what used to be the gray links in the proof at 2-topos – In terms of intenral categories).

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeNov 27th 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItex[2-topos – In terms of internal categories](http://ncatlab.org/nlab/show/2-topos#InTermsOfInternalCategories)

   2-topos – In terms of internal categories

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeNov 27th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks. Fixed. Sorry.

   Thanks. Fixed. Sorry.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeNov 28th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThanks!

   Thanks!