PSSL 103 Brno

103rd Peripatetic Seminar on Sheaves and Logic

pre-PSSL

The event will take place in room M1, and the Mathematics department is located in Kotlářská 2, building n. 8.
14:00 — 15:00 Higher symmetries in stable homotopy theories M. Groth
15:00 — 15:15 Coffee break
15:15—16:15 The Simpson conjecture S. Henry
16:15—16:45 Coffee break
16:45—17:45 New methods for left exact localizations of topoi M. Anel

Saturday

The event will take place in room M1, and the Mathematics department is located in Kotlářská 2, building n. 8.
09:00 — 09:30 Coffee break
09:30 — 10:05 Fibred and internal aspects of distributors composition Metere
10:05 — 10:35 A Quillen model structure for bigroupoids Den Besten
10:35 — 11:05 Coffee break
11:05 — 11:40 Tameness in classes of generalized metric structures: quantale-spaces, fuzzy sets, and sheaves Zambrano
11:40 — 12:10 Complete Bousfield-Segal spaces as a model of HoTT Stenzel
12:10 — 14:00 Lunch break 🍽
14:00 — 14:35 Dagger limits Karvonen
14:35 — 15:10 Associative n-categories Dorn
15:10 — 15:40 Synthetic algebraic geometry and the phenomenon of nongeometric sequents Blechschmidt
15:40 — 16:10 Coffee break
16:10 — 16:45 Universes from tiny objects Gambino
16:45 — 17:15 A categorical approach to heterogeneous quantifiers and completeness for game semantics Espindola
19:00 Social Dinner @U Seminaru 🍽

Sunday

The event will take place in room M1, and the Mathematics department is located in Kotlářská 2, building n. 8.
09:00 — 09:30 Coffee break
09:30 — 10:05 Abstract Motivic Homotopy Theory Arndt
10:05 — 10:35 Strict Models of HoTT via AWFS Larrea
10:35 — 11:05 Coffee break
11:05 — 11:40 Stable ∞-categories in ∞-cosmoses Weinberger
11:40 — 12:15 Biadjoint Triangles and Applications Lucatelli Nunes
12:15 Goodbye

The organization commitee:
J. Bourke - F. Loregian - S. Henry - M. Lieberman - I. Di Liberti