Zoom (Meeting ID 916 7928 3736, passcode 844306)


2020-10-20 14:15: Quillen model structures from models of HoTT (Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University))

2020-11-17 14:15: A 2-dimensional bifunctor theorem (Graham Manuell)

2020-12-01 14:15: Isotropy Groups of Quasi-Equational Theories (Jason Parker, Brandon University)