2022-02-03: Daniele Palombi (Sapienza University of Rome)

Sat, 21 Oct 2023 21:24:08 +0100

Daniele Palombi (Sapienza University of Rome)

An introduction to Synthetic Guarded Domain Theory

Abstract

Synthetic Guarded Domain Theory (SGDT) arose as a generalization of step-indexing and guarded recursion in ultrametric spaces. While clearly taking inspiration from Synthetic Domain Theory, a geometric account of the field is still missing. This talk will serve as an introduction to SGDT sprinkled with remarks about the very geometric flavor of relevant properties of its known topos-theoretic models.

2022-02-03 14:00:00 UTC
Online