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.
By the way, does nLab have an established notation for localization of ∞-categories? I’m uncomfortable with C[W−1] due to the risk of that being interpreted as the localization of 1-categories.
@Hurkyl #6,
I like to use “LW”, following/alluding to standard (?) notation for Dwyer-Kan simplicial localizations, such as Hammock localization “LHW”.
LW(C) or L(C,W)? I guess the difference is whether you are in a context viewing C or (C,W) as the primary object of interest. I’ve switched over the notation.
1 to 9 of 9