Pedro Amorim on Nostr: something I've been toying with recently is working out how should automata theory ...

something I've been toying with recently is working out how should automata theory generalize to other ambient toposes. This would allow you to encompass some well behaved kinds of effects like name generation (automata internal to nominal sets, for instance)