Ph.D. in Mathematics Ph.D. in Computer Science
Institution: University of Coimbra and University of Porto (UC|UP Joint Ph.D. Program in Mathematics), Portugal
Awarded in 2018 (Summa cum laude)
Thesis: Pseudomonads and Descent
Supervisor: Professor Maria Manuel Clementino
PhD Examination Committee: Professor Martin Hyland, Assistant Professor Marco Mackaay, Professor Lurdes Sousa, and Associate Professor Peter Beier Gothen
Keywords: Biadjoint triangle theorems, freely generated categorical structures, theory of presentation of categorical structures, coherence in low and higher dimensional category theory, Grothendieck descent theory, Galois theories, generalized categorical structures, two-dimensional monad theory, fundamental aspects of two-dimensional category theory, theory of low and higher dimensional weak limits
First Chapter: Available at arXiv:1802.01767
TID (Portugal): 101570422
Period: October 2012 – January 2018