Home > News > Jure Kališnik, Grupoidi in teorija tipov

Jure Kališnik, Grupoidi in teorija tipov

Date: 6. 1. 2011
Source: Topology seminar
Ponedeljek 10.1. 2011, od 12h do 14h, soba 3.06, Jadranska 21
 
Na seminarju bom predstavil povzetek članka 'The groupoidrepresentation of type theory' Hofmanna in Streicherja. V njem sta avtorjakonstruirala prvi znani model teorije tipov, v katerem 'ekvivalentni'objekti nisi nujno enaki po definiciji. Kasneje se je izkazalo, da lahkomodele z isto lastnostjo iščemo v teoriji modelskih kategorij. Zaceli bomos strukturo grupoidov in pa z raznoraznimi kategoričnimi konstrukcijami,nato pa pokazali, kako lahko teorijo tipov interpretiramo z grupoidi.Pogledali si bomo tudi modelsko strukturo na kategoriji grupoidov.