📚 node [[a view of the agora at a node is a comonad]]
A View of the Agora at a Node Is a Comonad
 [[go]] https://twitter.com/s5bug/status/1343989424229498881
 Yes, I think so!
 [[pull]] [[comonad]]
📖 stoas
 public document at doc.anagora.org/aviewoftheagoraatanodeisacomonad
 video call at meet.jit.si/aviewoftheagoraatanodeisacomonad
⥅ related node [[comonad]] pulled by user
Comonad

[[go]] http://blog.higherorder.com/blog/2016/04/02/acomonadofgraphdecompositions/
 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]]
🔎 full text search for 'a view of the agora at a node is a comonad'