Toposes for monoid actions for complexity theory

Morgan Rogers
LIPN, Université Sorbonne Paris Nord

Date(s) : 02/02/2023   iCal
11 h 00 min - 12 h 30 min

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 :

Séminaire Logique et Interactions


Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)


Retour en haut 

Secured By miniOrange