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.
renamed model structure on marked simplicial oversets to model structure for Cartesian fibrations
merged the material that was at marked simplicial set (now marked simplicial set > history) into this entry
expanded the entry a bit, but still working on it...
further expanded the list of central propositions at model structure for Cartesian fibrations
I expanded on the discussion of how marked simplicial sets are cartesian closed. This is now a new section called "Cartesian closure".
In particular I write out what I think is a detailed proof how the Cartesian closure works. The strategy chosen is to use presheaves on a category that is like the simplex category, but with one more object added, that will parameterize the marked edges. Then there is the standard cartesian closed structure on presheaves on and one checks that this restricts to one on the full subcategory which is marked simplicial sets.
Possibly overkill, but I struggled a bit to find a really clean argument.
expanded the section on Marked anodyne morphisms
1 to 4 of 4