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

---
 hypergraph.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/hypergraph.md b/hypergraph.md
index 6284f1d92..79f0e692a 100644
--- a/hypergraph.md
+++ b/hypergraph.md
@@ -1,8 +1,7 @@
 # Hypergraph
 
 - a [[thing]].
+  - An [[Agora]] is a [[hypergraph]].
   - #go https://en.wikipedia.org/wiki/Hypergraph
-  -
-  - The [[Agora]] contains many [[hypergraphs]].
   - [[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."