I yearn to develop an algebraic or coalgebraic perspective on games, and through that to understand reactive synthesis from a categorical perspective.

youtube.com/watch?v=gjXD...

It is immensely distressing when a book is manufactured with that terrible sort of paper, whose contact threatens to terraform the surface of the fingers into a desolate and barren land in which life cannot prosper, in which plants simply dissolve away into dust.......

#books

I cannot endorse this book strongly enough:

Previously I conceptualised category theory as a framework for abstracting other fields of mathematics, but I'm beginning to think it has its own independent motivation as a theory of data and codata, as well as of the dynamics of computation on such objects.