flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-05 22:16:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto: misc.

Browse Source
This commit is contained in:
Flancian
2020-12-29 19:55:04 +01:00
parent ea4e289744
commit 8942877608
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
a-view-of-the-agora-at-a-node-is-a-comonad.md
+3
View File
@@ -1,8 +1,11 @@
# A View of the Agora at a Node Is a Comonad
- [[go]] https://twitter.com/s5bug/status/1343989424229498881
- [[pull]] [[comonad]]
[//begin]: # "Autogenerated link references for markdown compatibility"
[go]: go "Go"
[pull]: pull "Pull"
[comonad]: comonad "Comonad"
[//end]: # "Autogenerated link references"
comonad.md
+3
View File
@@ -1,6 +1,9 @@
# Comonad
- [[go]] http://blog.higher-order.com/blog/2016/04/02/a-comonad-of-graph-decompositions/
- A graph can be "of the form c & g, where c is the context of one node of the graph and g is the rest of the graph with that node removed".
- c has inEdges, vertex (id), label, outEdges.
- g is the rest of the graph (a set of contexts?).
- [[s5bug]] told me about them: https://twitter.com/s5bug/status/1343989424229498881 [[a view of the agora at a node is a comonad]]