From 89428776083ef14d1983ac86017d43e261d2baee Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Tue, 29 Dec 2020 19:55:04 +0100
Subject: [PATCH] Auto: misc.

---
 a-view-of-the-agora-at-a-node-is-a-comonad.md | 3 +++
 comonad.md                                    | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/a-view-of-the-agora-at-a-node-is-a-comonad.md b/a-view-of-the-agora-at-a-node-is-a-comonad.md
index 0fd472170..423db21b0 100644
--- a/a-view-of-the-agora-at-a-node-is-a-comonad.md
+++ b/a-view-of-the-agora-at-a-node-is-a-comonad.md
@@ -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"
\ No newline at end of file
diff --git a/comonad.md b/comonad.md
index 6a26339ee..de6c01333 100644
--- a/comonad.md
+++ b/comonad.md
@@ -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]]