Condensed sets form a topos, and hence admit an internal type theory. In this talk I will describe a list of axioms satisfied by this particular type theory.
-
02May
-
03May
Abstract not available
-
03May
Abstract not available
-
07May
Abstract not available
-
07May
*ABSTRACT*: Bioelectronic medicine provides a new means of addressing disease via the electrical stimulation of tissues: Deep brain stimulation, for example, has shown exceptional promise in the treatment of neurological and neuropsychiatric disorders, while stimulation of peripheral nerves is being explored to treat autoimm
-
09May
Abstract not available
-
10May
Abstract not available
-
10May
Abstract not available
-
14May
Abstract not available
-
15May
Abstract to be confirmed.
Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305
This talk is being recorded.