Brno Ph.D. Talent
Brno Ph.D. Talent
A model structure for geometric categories
Lector: Jiří Rosický
Institution: Masaryk University, Faculty of Science
Field: Algebra, Number Theory and Mathematical Logic
About the project
The aim of the project is to describe possible Quillen model structures on the (2,1)-category of small coherent categories, and to look for applications in categorical logic. In particular the model structure induced by the 2-reflective full subcategory of pretopoi is investigated.
Why science?
In high school I was mainly interested in the philosophy of maths, so I started to attend logic related courses. Later I got impressed by the connections between logic and various other fields, such as algebra, geometry, descriptive set theory and category theory, and this motivated my orientation towards categorical logic.
What do I like most about Brno
Brno has a great atmosphere with a number of parks and urban forests, while the university provides a friendly and motivating community.