Speaker
Sophie d’Espalungue,
Abstract
I will present an alternative stratification for addressing the notion of size in higher categorical structures, give the typing rule underlying the resulting system, and discuss how this system relates to higher category theory and homotopy type theory, with the aim of exchanging on how a proof assistant could be adjusted to implement this stratification.
Sophie d’Espalungue,
Abstract
I will present an alternative stratification for addressing the notion of size in higher categorical structures, give the typing rule underlying the resulting system, and discuss how this system relates to higher category theory and homotopy type theory, with the aim of exchanging on how a proof assistant could be adjusted to implement this stratification.