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.
added to path space object an Examples-section with some model category-theoretic discussion, leading up to the statement that in a simplicial model category for fibrant $X$ the powering $X^{\Delta[1]}$ is always a path space object.
1 to 1 of 1