From f8c1671a707546f2ad174c8deefe1790dcfd3fce Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Fri, 9 Sep 2022 18:50:46 +0200
Subject: [PATCH] autopushed

---
 hypergraph.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hypergraph.md b/hypergraph.md
index 79f0e692a..1d97a477f 100644
--- a/hypergraph.md
+++ b/hypergraph.md
@@ -1,7 +1,8 @@
 # Hypergraph
 
 - a [[thing]].
-  - An [[Agora]] is a [[hypergraph]].
+  - [[graph]] with [[annotated edges]]
   - #go https://en.wikipedia.org/wiki/Hypergraph
+  - An [[Agora]] is a [[hypergraph]].
   - [[jonathan]] https://golem.ph.utexas.edu/category/2018/02/hypergraph_categories_of_cospa.html
     - "There are several notions which fall under the name “hypergraph”, and we do not follow conventions too closely here. For us, a hypergraph is simply a kind of graph which has different types of nodes and edges, with edges allowed to be possibly “open” in the sense that they are attached only on one end to some node. Composition of such graphs to build new graphs is possible by connecting open edges together (though we only allow edges of the same type to connect). The following picture illustrates such a composition, with different types of edges indicated by different types of lines."