conjkoint disjoint

mstksg · Nov 4, 2024 · 6855c16 · 6855c16
1 parent cf88614
commit 6855c16
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/copy/entries/story-of-shapes.md b/copy/entries/story-of-shapes.md
@@ -435,6 +435,10 @@ introduces a fundamental data dependency for the *results*:
     the result of the final, you need the results of one or the other input in
     the general case.
 
+This also implies that choice of combination method for shapes in `Applicative`
+vs `Alternative` aren't arbitrary: the former has to be "conjoint" in a sense,
+and the latter has to be "disjoint".
+
 See again that clearly separating the shape and the result gives us the
 vocabulary to say precisely what the different data dependencies are.