Bruno Lindan's Website

I am a PhD student in Mathematics at the University of Manchester. I started in January 2024. My supervisor is Nicola Gambino. Previously I was an undergraduate and Part III student at King's College, Cambridge.

Mathematical interests: category theory and foundations; topos theory; formal category theory; categorical algebra.

Contact: bruno.lindan[at]postgrad.manchester.ac.uk

Activity:

• Co-organiser of Manchester Category Theory Working Group 2024-25

Teaching:

• Mathematical Logic (MATH33021) tutorials, Semester 1, 2024.
• Mathematical Problem Solving (MATH11221) workshops, Semester 1, 2024.
• Mathematics 0B2 (MATH19812) tutorials, Semester 2, 2025.

Conference attendance:

• YaMCATS meetings 33, 34, 35.
• CT2024
• Categorical Logic and Higher Categories, December 2024.