Évènement

Morgan Rogers
LIPN, Université Sorbonne Paris Nord
https://www.altamatematica.it/indam-cofund/cofund2015/indam-dp-cofund-2015-fellows/morgan-rogers/

Date(s) : 02/02/2023   iCal
11h00 - 12h30

This talk has three parts. First, I want to explain how common models of computation can be presented as monoid acts, which motivates the perspective on monoid acts as generalized models of computation.
Second, I will sketch my thesis work on categories of actions of topological monoids. Third, if there is time, I would like to explain how this work would need to be extended in order to capture the monoid acts from the first part, point out some obstacles that need to be overcome, and give some intuition on what building such a topos-theoretic context could provide. Note that while I will give complexity-theoretic motivation, I want to apply this theory to monoid and group acts of all kinds, so feel free to ask questions about your favourite ones.

L’exposé sera également retransmis ici :
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef

Séminaire Logique et Interactions

Emplacement
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)

Catégories

• Séminaire