morphisms-of-computational-structures
morphisms-of-computational-structures copied to clipboard
prathyvsh
A visual catalogue + story of morphisms displayed across computational structures.
https://www.cs.bham.ac.uk/~mhe/papers/entcs87.pdf
https://mathoverflow.net/questions/88368/can-a-group-be-a-universal-turing-machine
https://twitter.com/rob_rix/status/1320459382593884162?s=20
https://julesh.com/2020/08/15/probabilistic-programming-with-continuations/
https://pdfs.semanticscholar.org/591f/59c1168705d4c669cebc42f7f7dce69d5f90.pdf?_ga=2.250961350.1998523611.1602911161-1284050325.1602911161 
This looks like an intriguing paper on the link between topology and computation: https://arxiv.org/abs/1908.04264
What are the links with abstract interpretation? How is co-induction corresponding to greatest fixed point and induction corresponding to least fixed point figure in here? https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem
Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus
Really neat paper here: https://www.forskningsdatabasen.dk/en/catalog/2556781021 This is a good set of slides to go along with it: http://www2.compute.dtu.dk/~dibj/urbino-s.pdf
What is Stone duality for boolean algebra? What is Priestly duality? Does Heyting algebra have a similar representation? What about modal logic? How is it connected to model theory? How...
Eduardo seems to have bumped into many of the things, but with much more rigour and technical knowledge. His work needs to be looked closely. A good starting point seems...