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 want to eventually expand the stub entry relation between quasi-categories and simplicial categories. I just added a sentence only to give the entry something like an "Idea" section wher previously there had been just a lonely hyperlink.
I think the main theme here is that of "semi-strictification". So I added a remark to semi-strict infinity-category. But not really anything satisfactory yet.
I see that we have various leftovers from our first focused run through (oo,1)-categories. Now I edited Segal category slightly, just to make it look a bit better.
created entries Michael Boardman and Rainer Vogt based on the corresponding entries at Joyal's CatLab, but slightly expanded, more hyperlinks.
expanded and rearranged the Idea-section at join of simplicial sets in order to make it more usefully introductory.
There is stil that Spanier-reference being mentioned there, without publication details being specified.
at join of quasi-categories I made explicit that there are two different definitions, that yield different results, which are equivalent in the Joyal model structure
I got annoyed by the fact that we have kept the Quillen- and the Joyal-model structure together at model structure on simplicial sets. That's useful fo some purposes, but not so much for others. So I started model structure on quasi-categories making Joyal model structure redirect to it.
created stub for model structure on sSet-categories
(am slowly beginning to fill relation between quasi-categories and simplicial categories with life -- very slowly)
I got annoyed by the fact that we have kept the Quillen- and the Joyal-model structure together at model structure on simplicial sets.
Yes, they should be separate.
I started wondering about terminology:
first I had "model structure on quasi-categories" but since that seemed to collide with the way all other similar entries are called, I now renamed it to "model structure for quasi-categories".
I have added something to join of simplicial sets and have created an entry for Edwin Spanier and his book.
Thanks! And nice intro example. Maybe we even get a picture of a tetrahedron from somewhere...
(And by the way, sorry for not having gotten back to your email. But I need to get something else out of the way first...)
Maybe we even get a picture of a tetrahedron from somewhere...
Done.
I also put the Motivating Examples in their own section.
Hey, nice, Toby. Thanks. Now that's a tetrahedron.
In the long run, I may feel we should shrink it just slightly. Is it just me or is this filling almost half the screen? :-)
By the way, Tim: a took the liberty of removing that age-old query box with discussion between the two of us, which seems too have been happily settled long ago.
1 to 13 of 13