Brno Ph.D. Talent

Kristóf Kanalas

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.