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.
Do we have a page about the left adjoint of ? What is it called?
Don’t know that we do. Joyal has been calling it the “fundamental category” functor, denoted , in his Notes on Quasi-categories. We also have that terminology, but for directed spaces. I’d think we could pretty harmlessly borrow that terminology again for your context.
I suppose that’s as good as anything, thanks. I added a section to fundamental category.
I have seen it called fundamental category in other sources than Joyal’s work, so would support that here.
For what it’s worth I like calling it the “homotopy category” functor and writing , particularly when you restrict the adjunction to the full subcategory of quasi-categories. I think Lurie also uses this convention.
particularly when you restrict the adjunction to the full subcategory of quasi-categories.
I like to enforce that clause and write:
I have added that to the entry.
Yeah, it makes the most sense to me to restrict the usage of “homotopy category” to simplicial sets that are quasicategories. Although I could see an argument going the other way, I guess.
To me the thing is that the simplicial set could also be modelling a higher category in a different way, such that would not compute the homotopy category. For instance it could be the thought of as the nerve of an -category for .
1 to 8 of 8