prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.

https://patternatlas.com/

prathyvsh/morphisms-of-computational-structures Issues

Track the link between entropy and differential geometry
Updated 2 years ago
Non-Wellfoundedness and Foundations
Updated 3 years ago
Mathematical theories of abstractions
Updated 3 years ago19
Trace the history of origin of operational and denotational semantics
Updated 3 years ago1
Thank you
Closed 3 years ago3
Investigate bisimulation as a logical relation
Updated 3 years ago2
Examine this paper: On the Origins of Bisimulation and Coinduction
Updated 3 years ago2
Write up about the work of Lambek
Updated 3 years ago
Understand how coalgebra helps in modal logic
Updated 3 years ago2
Investigate Call by Name, Call by Value, Call by Push Value
Updated 3 years ago
Investigate the link between CPS, Peirce’s Law, Intuitionistic Logic, and Classical Logic
Updated 3 years ago6
Deductive Systems
Updated 3 years ago
Review “The Mathematics of Programming” by Tony Hoare
Updated 3 years ago
Incorporate original works section into the prose
Updated 3 years ago
Create a schematic between data and process duality
Updated 3 years ago
Von Neumann algebras and Jones Polynomials
Updated 4 years ago
Analyze how situational logic and topology via constructive logic intertwines
Updated 4 years ago
Track the history of topology and topos theory
Updated 4 years ago
Mention the work of Daniel Tubbenhauer
Updated 4 years ago
Add the work of Paul Taylor
Updated 4 years ago
Integrate the paper on synthetic topology
Updated 4 years ago
Terrance Tao question asking for a Turing Complete group
Updated 4 years ago
Connections between telescopes, contexts, substitutions, pi types, and scope
Updated 4 years ago
Relationship between probabilistic programming and continuation
Updated 4 years ago
Interesting paper: Finite Computational Structures and Implementations
Updated 4 years ago
Topological interpretation of Interactive Computation
Updated 4 years ago
Understand the implication of Knaster-Tarski Theorem
Updated 4 years ago
Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus
Updated 4 years ago1
Understand Stone duality and Stone spaces
Updated 4 years ago
Investigate the work of Eduardo Ochs
Updated 4 years ago
Fixed points and diagonalization
Updated 4 years ago
Evaluate these papers
Updated 4 years ago
Find out about rational languages and their genesis
Updated 4 years ago
Investigate "Mathematical Foundations for a Compositional Distributional Model of Meaning by Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark"
Updated 4 years ago
Investigate "Sheaving—a universal construction for semantic compositionality"
Updated 4 years ago
Have a look at the idea of Polarity
Updated 4 years ago
Investigate the link between automata and algebra
Updated 4 years ago
Investigate Abstract Interpretation
Updated 4 years ago
Find out the intellectual roots of Geometry of Interaction
Updated 4 years ago
Find where Joyal’s theory of combinatory species finds application
Updated 4 years ago
Add details on Milner’s work
Updated 4 years ago
Work out a bibliography trail of Origami programming by Bird/Merteens/Gibbons et. al.
Updated 4 years ago1
Investigate different encoding schemes
Updated 4 years ago1
Examine Combinatorial Species and include where they belong in the text
Updated 4 years ago
Add a books section that will help an enthusiast to get an overview of the fields addressed
Updated 4 years ago
Where does logic programming fit into this?
Updated 4 years ago
Look at Nada Amin’s work on Towers of Intepreters and Color Schemes
Updated 4 years ago
How is Chomsky Hierarchy and Ershov Hierarchy related?
Updated 4 years ago
What is profunctor optics? How does it figure in the scheme of things?
Updated 4 years ago
Add Shift/Reset and Felleisen’s operator
Updated 4 years ago