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.
I have replaced a requested but broken link to “homotopy coherent analog” with “analog in homotopy theory”.
Another alternative is categorification (in the sense of (∞,1)-categories). Should a redirect be created?
If you feel energetic about creating an entry responding to the name “homotopy coherent analog” and/or “(infinity,1)- categorification” that would certainly be useful and could be (re-)linked to here and at many other places.
(re-)discovered this stub entry and a similar stub homotopy coend. Have at least cross-linked them now, and with fat geometric realization
1 to 7 of 7