| Publication | Date of Publication | Type |
|---|
An inductive model structure for strict \(\infty\)-categories
Journal of Pure and Applied Algebra | 2025-01-27 | Paper |
A constructive account of the Kan-Quillen model structure and of Kan's Ex\(^\infty\) functor
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2025-01-09 | Paper |
| On the homotopy hypothesis for 3-groupoids | 2024-03-25 | Paper |
On the homotopy hypothesis for 3-groupoids
(available as arXiv preprint) | 2024-03-25 | Paper |
Compact Hausdorff locales in presheaf toposes
Applied Categorical Structures | 2023-11-06 | Paper |
| A Classifying groupoid for compact Hausdorff locales | 2023-10-11 | Paper |
Towards a constructive simplicial model of Univalent Foundations
Journal of the London Mathematical Society | 2023-08-24 | Paper |
| When does $\operatorname{Ind}_\kappa(C^I) \simeq \operatorname{Ind}_\kappa(C)^I$? | 2023-07-13 | Paper |
Combinatorial and accessible weak model categories
Journal of Pure and Applied Algebra | 2022-09-14 | Paper |
The effective model structure and \(\infty\)-groupoid objects
Forum of Mathematics, Sigma | 2022-06-13 | Paper |
Algebraically cofibrant and fibrant objects revisited
Homology, Homotopy and Applications | 2022-06-03 | Paper |
Tietze equivalences as weak equivalences
Applied Categorical Structures | 2022-05-19 | Paper |
| Higher Theories and Monads | 2021-06-04 | Paper |
| Minimal model structures | 2020-11-26 | Paper |
| Weak model categories in classical and constructive mathematics | 2020-06-29 | Paper |
Weak model categories in classical and constructive mathematics
(available as arXiv preprint) | 2020-06-29 | Paper |
AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
Journal of Symbolic Logic | 2019-09-17 | Paper |
Non-unital polygraphs form a presheaf category
(available as arXiv preprint) | 2019-06-19 | Paper |
| A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor | 2019-05-15 | Paper |
| The localic isotropy group of a topos | 2018-12-21 | Paper |
The localic isotropy group of a topos
(available as arXiv preprint) | 2018-12-21 | Paper |
On toposes generated by cardinal finite objects
Mathematical Proceedings of the Cambridge Philosophical Society | 2018-08-27 | Paper |
| Regular polygraphs and the Simpson conjecture | 2018-07-07 | Paper |
Measure theory over Boolean toposes
Mathematical Proceedings of the Cambridge Philosophical Society | 2017-09-28 | Paper |
| The convolution algebra of an absolutely locally compact topos | 2016-12-31 | Paper |
| Algebraic models of homotopy types and the homotopy hypothesis | 2016-09-15 | Paper |
Localic metric spaces and the localic Gelfand duality
Advances in Mathematics | 2016-04-13 | Paper |
| Complete C*-categories and a topos theoretic Green-Julg theorem | 2015-12-10 | Paper |
| A Geometric Bohr topos | 2015-02-06 | Paper |
| Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories | 2015-01-28 | Paper |
| Constructive Gelfand duality for non-unital commutative C*-algebras | 2014-12-05 | Paper |
| Toposes, quantales and C* algebras in the atomic case | 2013-11-14 | Paper |
| Symmetrization of mono\"ids as hypergroups | 2013-09-08 | Paper |
