Kristóf Kanalas

A model structure for geometric categories

Školitel: Jiří Rosický

Instituce: Masaryk University, Faculty of Science

Obor: Algebra, Number Theory and Mathematical Logic

 

O projektu

Cílem projektu je popsat možné struktury Quillenových modelů na (2,1)-kategorii malých koherentních kategorií a hledat aplikace v kategoriální logice. Zejména je zkoumána modelová struktura indukovaná 2-reflexní plnou podkategorií pretopoi.

 

Proč dělám vědu?

Na střední škole mě zajímala hlavně filozofie matematiky, a tak jsem začal navštěvovat kurzy související s logikou. Později na mě zapůsobily souvislosti mezi logikou a různými dalšími obory, jako je algebra, geometrie, deskriptivní teorie množin a teorie kategorií. Ty mě nasměrovaly na kategorickou logiku.

 

Proč mám rád/a Brno

Brno má skvělou atmosféru s řadou parků a městských lesů, univerzita mezitím poskytuje přátelskou a motivující komunitu.