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.
It seems that the page marked simplicial set uses X# and X♯ where Lurie uses X♯ and X♮. That seems gratuitously confusing to me; is there a reason for it?
There may have been a reason. But not a good reason. ;-)
Let’s run a search-and-replace for sharp→natural, then #→sharp.
Done!
Is there any nice description of the fibrations between fibrant objects in the Cartesian model structure on sSet+/S? That is, suppose S is a quasicategory, X→S and Y→S are Cartesian fibrations, and f:X♮→Y♮ is a map over S. When is f a fibration in the Cartesian model structure on sSet+/S?
1 to 3 of 3