Pages that link to "Item:Q6175166"

The following pages link to Yoneda lemma for simplicial spaces (Q6175166):

Displaying 3 items.

• A type theory for synthetic $\infty$-categories (Q3121017) (← links)
• A homotopy coherent nerve for \((\infty, n)\)-categories (Q6117862) (← links)
• Yoneda lemma for simplicial spaces (Q6175166) (← links)