mirror of
https://github.com/flancian/garden.git
synced 2026-08-04 05:26:18 +00:00
14 lines
764 B
Markdown
14 lines
764 B
Markdown
# 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]]
|
|
|
|
|
|
[//begin]: # "Autogenerated link references for markdown compatibility"
|
|
[go]: go "Go"
|
|
[s5bug]: s5bug "S5bug"
|
|
[a view of the agora at a node is a comonad]: a-view-of-the-agora-at-a-node-is-a-comonad "A View of the Agora at a Node Is a Comonad"
|
|
[//end]: # "Autogenerated link references" |