| Publication | Date of Publication | Type |
|---|
A 2-categorical proof of Frobenius for fibrations defined from a generic point
Mathematical Structures in Computer Science | 2024-10-16 | Paper |
Pushouts of Dwyer maps are \((\infty, 1)\)-categorical
Algebraic \& Geometric Topology | 2024-09-02 | Paper |
Cartesian exponentiation and monadicity
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2024-08-26 | Paper |
Will machines change mathematics?
Bulletin of the American Mathematical Society | 2024-04-03 | Paper |
On the ∞$\infty$‐topos semantics of homotopy type theory
Bulletin of the London Mathematical Society | 2024-03-05 | Paper |
Could ∞-Category Theory Be Taught to Undergraduates?
Notices of the American Mathematical Society | 2023-10-16 | Paper |
Formalizing the $\infty$-Categorical Yoneda Lemma
| 2023-09-15 | Paper |
On \(\infty\)-cosmoi of bicategories
La Matematica | 2022-12-08 | Paper |
An \((\infty ,2)\)-categorical pasting theorem
Transactions of the American Mathematical Society | 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 |
scientific article; zbMATH DE number 7460083 (Why is no real title available?)
| 2022-01-19 | Paper |
Elements of \(\infty\)-category theory
| 2021-09-27 | Paper |
Categorical notions of fibration
Expositiones Mathematicae | 2021-02-02 | Paper |
Cartesian exponentiation and monadicity
| 2021-01-24 | Paper |
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
Applied Categorical Structures | 2020-09-10 | Paper |
On the construction of limits and colimits in $\infty$-categories
| 2020-08-07 | Paper |
Lifting accessible model structures
Journal of Topology | 2020-05-06 | Paper |
Infinity category theory from scratch
| 2020-02-24 | Paper |
Fat chance. Probability from 0 to 1
| 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
Topology and its Applications | 2018-02-09 | Paper |
Homotopy coherent structures
| 2018-01-23 | Paper |
A necessary and sufficient condition for induced model structures
Journal of Topology | 2017-09-22 | Paper |
Kan extensions and the calculus of modules for \(\infty\)-categories
Algebraic \& Geometric Topology | 2017-02-03 | Paper |
Category theory in context
| 2016-11-08 | Paper |
Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
Journal of Pure and Applied Algebra | 2016-11-04 | Paper |
Left-induced model structures and diagram categories
Women in Topology | 2016-09-02 | Paper |
The Kan extension seminar: an experimental online graduate reading course
Notices of the American Mathematical Society | 2016-06-15 | Paper |
Homotopy coherent adjunctions and the formal theory of monads
Advances in Mathematics | 2015-11-09 | Paper |
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
Homology, Homotopy and Applications | 2015-07-27 | Paper |
The 2-category theory of quasi-categories
Advances in Mathematics | 2015-05-29 | Paper |
Six model structures for DG-modules over DGAs: model category theory in homological action.
The New York Journal of Mathematics | 2015-03-31 | Paper |
Coalgebraic models for combinatorial model categories
Homology, Homotopy and Applications | 2015-03-19 | Paper |
Homotopical resolutions associated to deformable adjunctions
Algebraic \& Geometric Topology | 2014-11-13 | Paper |
Cyclic multicategories, multivariable adjunctions and mates
Journal of \(K\)-Theory | 2014-09-24 | Paper |
Categorical homotopy theory
New Mathematical Monographs | 2014-09-08 | Paper |
The theory and practice of Reedy categories
Theory and Applications of Categories | 2014-08-25 | Paper |
A comparison of norm maps
Proceedings of the American Mathematical Society | 2014-03-13 | Paper |
Monoidal algebraic model structures
Journal of Pure and Applied Algebra | 2013-06-24 | Paper |
On the construction of functorial factorizations for model categories
Algebraic \& Geometric Topology | 2013-05-03 | Paper |
Algebraic model structures
The New York Journal of Mathematics | 2011-08-02 | Paper |
On the structure of simplicial categories associated to quasi-categories
Mathematical Proceedings of the Cambridge Philosophical Society | 2011-05-20 | Paper |
Levels in the toposes of simplicial sets and cubical sets
Journal of Pure and Applied Algebra | 2011-02-18 | Paper |
A sharp bound for the degree of proper monomial mappings between balls
The Journal of Geometric Analysis | 2004-05-18 | Paper |
On the intersections of polynomials and the Cayley-Bacharach theorem
Journal of Pure and Applied Algebra | 2003-11-17 | Paper |
A 2-categorical proof of Frobenius for fibrations defined from a generic point
| N/A | Paper |
