Skip to content

Luca Mesiti's website. 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.

License

Notifications You must be signed in to change notification settings

lucamesiti/lucamesiti.github.io

 
 

Repository files navigation

Luca Mesiti

This is my personal website. I am about to conclude my PhD in Category Theory, Mathematics, at the School of Mathematics of the University of Leeds, UK.

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.

About

Luca Mesiti's website. 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.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • JavaScript 39.5%
  • HTML 21.5%
  • SCSS 19.7%
  • Jupyter Notebook 11.9%
  • Python 4.5%
  • CSS 2.7%
  • Ruby 0.2%