Time: 15:15-16:15, Friday, July 3, 2026
Venue: E14-215, Yungu Campus
Speaker: Laurent Lafforgue, Lagrange Centre
Title: Expressions of mathematical statements and deductive proofs in terms of generation properties and generation processes of topologies on locally computable categories
Abstract: In this talk, a translation from first-order logic to topos theory to Grothendieck topologies, will be further described and applied.
This is a continuation of the first part presented on June 23.
