Add experimental Dictionary api

evilsoft · Feb 7, 2017 · 82df8f7 · 82df8f7
1 parent b2775be
commit 82df8f7
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/Dictionary.md b/docs/Dictionary.md
@@ -0,0 +1,8 @@
+# Dictionary
+
+| Thingy | Definition |
+|:---|---:|
+| `~>` | `Operator arrow`.  Represents `morphism` and indicates constraint for the left side. |
+| `Morphism` | Structure-preserving map from one `object` to another |
+| `Algebraic Data Type` | An `initial object` for a given endofunctor in the category |
+| `Initial object` | An object with _one and only one_ `morphism` in the cateogry |