Research

Google Scholar

Classifying 2-Groups in Homotopy Type Theory

• Preprint [local copy]
• Agda code [source] [html]

On Left Adjoints Preserving Colimits in Homotopy Type Theory

• Preprint (accepted to CSL 2026) [local copy]
• Agda code [source]

Coslice Colimits in Homotopy Type Theory

• Paper [CSL 2025] [errata]
• Technical report [arXiv]
• Agda code [source]