Exposés

10:30: Hugh Steele, Hypercoherences, double-glueing and orthogonality