Daniel Almeida

I am a PhD student in mathematics at the University of Ottawa under the supervision of Simon Henry.
I started in September 2022.

Previously, I was an undergraduate and master's student at the University of São Paulo.

My main area of interest is category theory, particularly in connection with mathematical logic and homotopical algebra.

Preprints:

• A monoidal category of dependently sorted algebraic theories I: syntax. 2025, arXiv:2511.13547.