| Publication | Date of Publication | Type |
|---|
| Will machines change mathematics? | 2024-04-03 | Paper |
| On the ∞$\infty$‐topos semantics of homotopy type theory | 2024-03-05 | Paper |
| Could ∞-Category Theory Be Taught to Undergraduates? | 2023-10-16 | Paper |
| Formalizing the $\infty$-Categorical Yoneda Lemma | 2023-09-15 | Paper |
| On \(\infty\)-cosmoi of bicategories | 2022-12-08 | Paper |
| An (∞,2)-categorical pasting theorem | 2022-11-17 | Paper |
| Homotopical categories: from model categories to $(\infty,1)$-categories | 2022-11-16 | Paper |
| Pushouts of Dwyer maps are $(\infty,1)$-categorical | 2022-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5022887 | 2022-01-19 | Paper |
| Elements of ∞-Category Theory | 2021-09-27 | Paper |
| Categorical notions of fibration | 2021-02-02 | Paper |
| Cartesian exponentiation and monadicity | 2021-01-24 | Paper |
| Recognizing quasi-categorical limits and colimits in homotopy coherent nerves | 2020-09-10 | Paper |
| On the construction of limits and colimits in $\infty$-categories | 2020-08-07 | Paper |
| Lifting accessible model structures | 2020-05-06 | Paper |
| Infinity category theory from scratch | 2020-02-24 | Paper |
| Fat Chance | 2019-03-28 | Paper |
| A type theory for synthetic $\infty$-categories | 2019-03-19 | Paper |
| The comprehension construction | 2019-03-19 | Paper |
| Complicial sets, an overture | 2018-11-22 | Paper |
| Directional derivatives and higher order chain rules for abelian functor calculus | 2018-02-09 | Paper |
| Homotopy coherent structures | 2018-01-23 | Paper |
| A necessary and sufficient condition for induced model structures | 2017-09-22 | Paper |
| Kan extensions and the calculus of modules for \(\infty\)-categories | 2017-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2829627 | 2016-11-08 | Paper |
| Fibrations and Yoneda's lemma in an \(\infty\)-cosmos | 2016-11-04 | Paper |
| Left-Induced Model Structures and Diagram Categories | 2016-09-02 | Paper |
| The Kan Extension Seminar: An Experimental Online Graduate Reading Course | 2016-06-15 | Paper |
| Homotopy coherent adjunctions and the formal theory of monads | 2015-11-09 | Paper |
| Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions | 2015-07-27 | Paper |
| The 2-category theory of quasi-categories | 2015-05-29 | Paper |
| Six model structures for DG-modules over DGAs: model category theory in homological action. | 2015-03-31 | Paper |
| Coalgebraic models for combinatorial model categories | 2015-03-19 | Paper |
| Homotopical resolutions associated to deformable adjunctions | 2014-11-13 | Paper |
| Cyclic multicategories, multivariable adjunctions and mates | 2014-09-24 | Paper |
| Categorical Homotopy Theory | 2014-09-08 | Paper |
| The theory and practice of Reedy categories | 2014-08-25 | Paper |
| A comparison of norm maps | 2014-03-13 | Paper |
| Monoidal algebraic model structures | 2013-06-24 | Paper |
| On the construction of functorial factorizations for model categories | 2013-05-03 | Paper |
| Algebraic model structures | 2011-08-02 | Paper |
| On the structure of simplicial categories associated to quasi-categories | 2011-05-20 | Paper |
| Levels in the toposes of simplicial sets and cubical sets | 2011-02-18 | Paper |
| A sharp bound for the degree of proper monomial mappings between balls | 2004-05-18 | Paper |
| On the intersections of polynomials and the Cayley-Bacharach theorem | 2003-11-17 | Paper |
| A 2-categorical proof of Frobenius for fibrations defined from a generic point | 0001-01-03 | Paper |
