2015-08-26: Kevin Dunne (MSP)

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

Kevin Dunne (MSP)

Comonadic Cellular Automata II

Abstract

This is a sequel to my last 101 where I spoke about describing cellular automata as algebras of a comonad on Set. I'll describe how we can make sense of "generalised cellular automata" (probabilistic/non-deterministic/quantum, for example) as comonads on other categories via distributive laws of monads and comonads.

2015-08-26 11:00:00 UTC
LT1310