morphisms-of-computational-structures
morphisms-of-computational-structures copied to clipboard
prathyvsh
A visual catalogue + story of morphisms displayed across computational structures.
Read Lawvere’s fixed point paper: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf https://cs.ru.nl/~dfrumin/pdf/diagonal_argument.pdf Yanofsky’s work: https://arxiv.org/pdf/math/0305282.pdf Brouwver’s fixed point theorem as a corollary of Lawvere’s fixed point theorem: https://arxiv.org/abs/2005.01563 Is Tarski’s fixed point theorem connected with...
- [Eugenio Moggi "A Category-theoretic account of program modules" ](http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=4BAE9CC823A13E9C037747DDE1F83404?doi=10.1.1.41.3812&rep=rep1&type=pdf) - [Varmo Vene "Categorical Programming with Inductive and Coinductive Types"](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.5948&rep=rep1&type=pdf) - [Martin Erwig "Categorical Programming with Abstract Data Types"](http://web.engr.oregonstate.edu/~erwig/papers/CategoricalADT_AMAST98.pdf) [-...
Kleene’s investigation is said to have unearthed the idea of rational languages, as seen in the intro for this book: https://amzn.to/3cyhBtO But dig deeper to see how it connects with...
https://golem.ph.utexas.edu/category/2018/02/linguistics_using_category_the.html
https://royalsocietypublishing.org/doi/full/10.1098/rstb.2019.0303
Find this work out: Pippenger has applied Stone duality to relate regular languages and varieties of semigroups https://www8.cs.fau.de/wp-content/uploads/media/ws16/ober/stefan-slides.pdf Track work of J. Pin
Field of inquiry initiated by Patrick Cousot and Radhia Cousot. What were the precedents that lead to initiating the field?
Some references: https://www.cis.upenn.edu/~sweirich/papers/yorgey-thesis.pdf https://ncatlab.org/nlab/show/species