Embedded Files
Hi! I'm Ana. Currently, I'm a postdoctoral researcher at EMAp-FGV working with applications of Sheaf Theory in Machine Learnig.
Previously, I was teaching classes at the Federal University of Rio de Janeiro, for the Applied Mathematics Department.
I finished my PhD in Mathematics at the University of São Paulo in 2023 under the supervision of Professor Hugo Luiz Mariano. I was at Heinrich-Heine-Universität Düsseldorf with a PrInt-USP/CAPES scholarship and under supervision of Peter Arndt. I have a general interest in category theory and its applications.
My thesis defines on semicartesian monoidal categories that do not necessarily form a Grothendieck topos, and the development of a correspondent sheaf cohomology for it. We obtained interesting results in the quantalic case both from the logical and cohomological perspectives. I highlight Theorem 4.3.6 and Theorem 4.5.7.
Besides sheaf theory and homological algebra, my research leads me to study monads, quantales, and linear logic.
I have a broad interest in category theory and its application. Currently, I mainly working with cellular sheaves and its role in deep learning.
Previously, I was teaching classes at the Federal University of Rio de Janeiro, for the Applied Mathematics Department.
I finished my PhD in Mathematics at the University of São Paulo in 2023 under the supervision of Professor Hugo Luiz Mariano. I was at Heinrich-Heine-Universität Düsseldorf with a PrInt-USP/CAPES scholarship and under supervision of Peter Arndt. I have a general interest in category theory and its applications.
My thesis defines on semicartesian monoidal categories that do not necessarily form a Grothendieck topos, and the development of a correspondent sheaf cohomology for it. We obtained interesting results in the quantalic case both from the logical and cohomological perspectives. I highlight Theorem 4.3.6 and Theorem 4.5.7.
Besides sheaf theory and homological algebra, my research leads me to study monads, quantales, and linear logic.
I have a broad interest in category theory and its application. Currently, I mainly working with cellular sheaves and its role in deep learning.
Page updated
Report abuse