| Publication | Date of Publication | Type |
|---|
Globular weak \omega-categories as models of a type theory
(available as arXiv preprint) | N/A | Paper |
Computads for weak \omega-categories as an inductive type
(available as arXiv preprint) | N/A | Paper |
Left-exact localizations of -topoi. III: The acyclic product
Transactions of the American Mathematical Society | 2026-08-19 | Paper |
Left exact monoidal localizations from tidy maps
(available as arXiv preprint) | 2026-01-01 | Paper |
| A syntax for strictly associative and unital -categories | 2025-06-18 | Paper |
Globular weak -categories as models of a type theory
Higher Structures | 2025-03-07 | Paper |
Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product
(available as arXiv preprint) | 2025-01-01 | Paper |
| A Cartesian bicategory of polynomial functors in homotopy type theory | 2024-12-17 | Paper |
| A type theory for strictly unital -categories | 2024-12-06 | Paper |
Computads for weak -categories as an inductive type
Advances in Mathematics | 2024-06-27 | Paper |
Left-exact localizations of -topoi. II: Grothendieck topologies
Journal of Pure and Applied Algebra | 2023-10-26 | Paper |
| Left-exact Localizations of \infty-Topoi III: The Acyclic Product | 2023-08-29 | Paper |
| Strictly Associative and Unital \infty-Categories as a Generalized Algebraic Theory | 2023-02-10 | Paper |
Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
Advances in Mathematics | 2022-04-14 | Paper |
| A Type Theory for Strictly Associative Infinity Categories | 2021-09-03 | Paper |
| Types are Internal \infty-Groupoids | 2021-04-30 | Paper |
| Synthetic Spectra via a Monadic and Comonadic Modality | 2021-02-08 | Paper |
A Type-Theoretical Definition of Weak {\omega}-Categories
(available as arXiv preprint) | 2021-01-19 | Paper |
| A Type-Theoretical Definition of Weak {\omega}-Categories | 2021-01-19 | Paper |
Synthetic Spectra via a Monadic and Comonadic Modality
(available as arXiv preprint) | 2021-01-01 | Paper |
A Type Theory for Strictly Associative Infinity Categories
(available as arXiv preprint) | 2021-01-01 | Paper |
Left-exact Localizations of \infty-Topoi I: Higher Sheaves
(available as arXiv preprint) | 2021-01-01 | Paper |
A generalized Blakers–Massey theorem
Journal of Topology | 2020-10-16 | Paper |
Goodwillie's calculus of functors and higher topos theory
Journal of Topology | 2019-02-07 | Paper |
Eilenberg-MacLane spaces in homotopy type theory
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
