About me
I am a PhD student, since October 2024, at the LIPN laboratory in the LoVe team. I am supervised by Marie Kerjean and Stefano Guerrini.
I am interested in the links between logical and mathematical structures through the Curry-Howard-Lambek correspondance. More presicely, I am working on understanding differentiation from a logical and categorical point a view and how it relates to choice axioms. More broadly, my favorite subjects are: Type Theory, Categorical Logic, Differential Linear Logic, Topology, Proof Theory, Category Theory, Homotopy Theory, Functional Analysis and Differential Geometry.
Contact:
- Email : koleilat at lipn.univ-paris13.fr
- Office : B311 - LIPN, Institut Galilée - Université Sorbonne Paris Nord, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse