Skip to content

Commit

Permalink
Update about.md
Browse files Browse the repository at this point in the history
  • Loading branch information
lucamesiti authored Apr 24, 2024
1 parent a85058e commit 317acde
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _pages/about.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ My email address is mmlme@leeds.ac.uk

I am about to conclude my PhD in category theory at the School of Mathematics of the University of Leeds, UK, under the supervision of Nicola Gambino.<br /> I visited the University of Genova, Italy, from August 2023 to October 2023. Before that, I visited the University of Manchester, UK, from September 2022 to August 2023.

My main research interests are category theory and its applications to logic, geometry and computer science. More precisely, I have a keen interest in fibrations and the Grothendieck construction, 2-category theory, enriched category theory and 2-categorical elementary topoi.
My main research interests are category theory and its applications to logic, geometry, algebra and computer science. More precisely, I have a keen interest in fibrations and the Grothendieck construction, 2-category theory, enriched category theory and 2-categorical elementary topoi.

My PhD thesis contributes to expand 2-dimensional elementary topos theory. In particular, I presented a novel technique of reduction of the study of 2-classifiers to dense generators.<br /> I then applied it to generalize to dimension 2 the fundamental result that Grothendieck topoi are elementary topoi. In order to reach my main theorems, I produced an original calculus of colimits in 2-dimensional slices and an indexed version of the Grothendieck construction.

Expand Down

0 comments on commit 317acde

Please sign in to comment.