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.
the term “homotopy pushout” used to be just redirecting the reader to “homotopy pullback”. Since this makes it hard to have informative cross-links with related entries (such as with homotopy pushout type) I am hereby splitting it off as a stand-alone entry.
But for the moment this entry remains a stub, mainly pointing back to homotopy pullback. To be expanded.
added pointer to:
added pointer to:
and pointer to:
1 to 4 of 4