The following pages link to Emily Riehl (Q338223):
Displaying 49 items.
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225) (← links)
- Formal aspects of Gray's tensor products of 2-categories (Q395676) (← links)
- Left determined model structures for locally presentable categories (Q409249) (← links)
- Centers and homotopy centers in enriched monoidal categories (Q436127) (← links)
- The algebraic structure of the universal complicial sets (Q456876) (← links)
- Homotopical resolutions associated to deformable adjunctions (Q470707) (← links)
- Kan extensions and the calculus of modules for \(\infty\)-categories (Q507051) (← links)
- Algebraic model structures (Q554242) (← links)
- Levels in the toposes of simplicial sets and cubical sets (Q626735) (← links)
- Directional derivatives and higher order chain rules for abelian functor calculus (Q684012) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- On the intersections of polynomials and the Cayley-Bacharach theorem (Q1413893) (← links)
- A sharp bound for the degree of proper monomial mappings between balls (Q1429297) (← links)
- Complicial sets, an overture (Q1627446) (← links)
- On the construction of functorial factorizations for model categories (Q1948311) (← links)
- On \(\infty\)-cosmoi of bicategories (Q2105778) (← links)
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves (Q2198611) (← links)
- Categorical notions of fibration (Q2221495) (← links)
- Coalgebraic models for combinatorial model categories (Q2263814) (← links)
- Six model structures for DG-modules over DGAs: model category theory in homological action. (Q2339297) (← 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)
- Monoidal algebraic model structures (Q2376561) (← links)
- The Kan Extension Seminar: An Experimental Online Graduate Reading Course (Q2813238) (← links)
- (Q2829627) (← links)
- The theory and practice of Reedy categories (Q2877676) (← links)
- Categorical Homotopy Theory (Q2879235) (← links)
- On the structure of simplicial categories associated to quasi-categories (Q3002207) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- The comprehension construction (Q3121023) (← links)
- Left-Induced Model Structures and Diagram Categories (Q3187307) (← links)
- Cyclic multicategories, multivariable adjunctions and mates (Q3191179) (← links)
- On the construction of limits and colimits in $\infty$-categories (Q3305543) (← links)
- Elements of ∞-Category Theory (Q3379615) (← links)
- Fat Chance (Q4629798) (← links)
- (Q5022887) (← links)
- Homotopical categories: from model categories to $(\infty,1)$-categories (Q5047183) (← links)
- An (∞,2)-categorical pasting theorem (Q5047931) (← links)
- Lifting accessible model structures (Q5108880) (← links)
- Infinity category theory from scratch (Q5217590) (← links)
- A necessary and sufficient condition for induced model structures (Q5359103) (← links)
- A comparison of norm maps (Q5401379) (← links)
- Could ∞-Category Theory Be Taught to Undergraduates? (Q6049121) (← links)
- Will machines change mathematics? (Q6130521) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- A 2-categorical proof of Frobenius for fibrations defined from a generic point (Q6506704) (← links)
- Cartesian exponentiation and monadicity (Q6593552) (← links)
- Pushouts of Dwyer maps are \((\infty, 1)\)-categorical (Q6596252) (← links)
- A 2-categorical proof of Frobenius for fibrations defined from a generic point (Q6620018) (← links)
