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.

Publications and preprints:

• A categorical model structure for generalized algebraic theories
  2026, arXiv:2608.27667.


• A monoidal category of dependently sorted algebraic theories II: categorical aspects
  2026, arXiv:2606.00952.


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


• Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications
  with G. B. Rios, D. C. Pinto, H. L. Mariano
  2022, Journal of Applied Logics, Special Issue: Proceedings of the 19th Brazilian Logic Conference.

• From June 6-8, I'll be in Saint John (Canada) for the CMS Summer Meeting. I'm giving a talk at the Homotopy Theory session titled "Strictification of models of generalized algebraic theories".


• From June 29 to July 10, I'll be in Tallinn (Estonia) for the Adjoint School and the ACT conference! I'm part of the group "Functoriality in Quantum Nonlocality and Interactive Games".