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 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….
It’s weird that you can’t do tikzcd inbetween dollar-sign pairs, and you have to actually use the centre environment thing.
Thanks for the additions.
Yes, the tikzcd
-functionality is not part of Instiki (which is the software platform the 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 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 Lab, drop him a note and he may tell you what you could do!
1 to 6 of 6