# 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.
• CommentAuthorHurkyl
• CommentTimeNov 9th 2021

I felt like the (∞,1) section should give an abstract description rather than a model specific one, so I’ve done so, and proved in the abstract the equivalence between the hom-space and slice-category characterizations.

It feels like cheating to invoke the Grothendieck construction for it; can the argument be made just as cleanly without it?

… I’m having trouble with the formatting, so I’m going to do some bisection to track down the issue….

• CommentRowNumber2.
• CommentAuthorHurkyl
• CommentTimeNov 9th 2021

Okay, I think I got it

• CommentRowNumber3.
• CommentAuthorHurkyl
• CommentTimeNov 9th 2021

It’s weird that you can’t do tikzcd inbetween dollar-sign pairs, and you have to actually use the centre environment thing.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeNov 10th 2021

Yes, the tikzcd-functionality is not part of Instiki (which is the software platform the $n$Lab rendering engine is using) but is an external add-on that Richard kindly added a while back, so that we can have decent diagram typesetting at all.

My understanding is that there are plans to improve on this and other aspects, but I gather the priority right now is to get the $n$Lab migrated from its server at CMU (which is running out) to a cloud provider.

As usual, if anyone is interested in lending Richard a hand with coding desired functionality for the $n$Lab, drop him a note and he may tell you what you could do!

• CommentRowNumber5.
• CommentAuthorHurkyl
• CommentTimeNov 10th 2021

Changed some of the language in my additions to make the overall presentation flow more smoothly.

• CommentRowNumber6.
• CommentAuthorJem Lord
• CommentTimeJul 16th 2022

Added alternative equivalent slightly more explicit definition.