commit ef6eb944b15a1bb2cfef51818443fe4588497e74
parent 2a38da96d044cc1788665d49c88e3120dc399f9a
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Mon, 16 Jun 2025 18:50:31 +0200
commit with codex
Diffstat:
3 files changed, 11 insertions(+), 0 deletions(-)
diff --git a/graph_embedding b/graph_embedding
@@ -8,3 +8,5 @@
Up: [graph]
Aliases: graph embeddings
+
+See also: [structure_embedding]
diff --git a/isomorphism b/isomorphism
@@ -7,3 +7,5 @@
Up: [mathematics]
See also: [homomorphism], [automorphism]
+
+Aliases: isomorphic
diff --git a/structure_embedding b/structure_embedding
@@ -0,0 +1,7 @@
+# Structure embedding
+
+A [structure] A *embeds* in another [structure] B if A is [isomorphic] to a [substructure] of B
+
+See also: [graph_embedding]
+
+Up: [embedding], [structure]