The following pages link to Dominic Verity (Q338224):
Displaying 14 items.
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225) (← links)
- Kan extensions and the calculus of modules for \(\infty\)-categories (Q507051) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- Generalized logic and the representation of rings (Q1923804) (← links)
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves (Q2198611) (← links)
- The 2-category theory of quasi-categories (Q2346051) (← links)
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions (Q2354967) (← links)
- On the Specification of Higher Dimensional Automata (Q2841306) (← links)
- The theory and practice of Reedy categories (Q2877676) (← links)
- (Q2883127) (← links)
- The comprehension construction (Q3121023) (← links)
- On the construction of limits and colimits in $\infty$-categories (Q3305543) (← links)
- Elements of ∞-Category Theory (Q3379615) (← links)
- Complicial sets characterising the simplicial nerves of strict 𝜔-categories (Q5385844) (← links)
