Although my background is in homotopy theory and higher category theory, I began my PhD research primarily as a homotopy type theorist. Motivated by emerging connections between higher categories and logic, I studied homotopy type theory (HoTT) with the intention to study higher category theory from a constructive perspective using HoTT.
This led me to investigate characterisations of weak units in ∞-categories, motivated by questions arising in HoTT. As my research progressed, I observed that the methods developed are closely related to some of those appearing in work around Simpson's conjectures, and in particular to the category Δ (fat Delta) introduced by J. Kock. This connection allowed me to link and apply my research to both problems.
My current projects are:
Models of weak and semistrict ∞-categories via Δ.
Developing and comparing models of weak and semistrict ∞-categories indexed by fat Δ,
Properties of Δ.
Developing structural properties of Δ that are relevant for constructing models of higher categories over it.
More broadly, I am also interested in learning and contributing to applications of higher category theory to other fields, such as TQFT or higher geometry.
First Year's PhD Report.
[Test Categories and the Dendroidal Category] (in French)
Master's thesis, supervised by Clemens Berger.
[Higher Structures in Category Theory, Homotopy Theory and Type Theory], Weak and semistrict ∞-categories from fat Delta, [slides].
[Young Homotopy-Theorist Meeting], Weak and semistrict ∞-categories, [poster].
[Summer School], On the fat Delta category, [slides].
[CT2025], [Progress on fat Delta], [slides].
[Aberdeen Topology Seminar], A study of Kock's fat Delta.
[CL&HC], [A study of Kock's fat Delta], [slides]
[TYPES 2023], [Categories as semicategories with identities], [slides], [recording].