From b58ed9bea64ad19b81d56c9e061cd9c88a692544 Mon Sep 17 00:00:00 2001 From: shfshanyue Date: Thu, 9 Mar 2017 19:43:23 +0800 Subject: [PATCH] fix typo: middle dot --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.md b/readme.md index d76d4c4..2e19ff9 100644 --- a/readme.md +++ b/readme.md @@ -331,7 +331,7 @@ To be a valid category 3 rules must be met: and `f` is a morphism from `a -> b`, and `g` is a morphism from `b -> c`; `g(f(x))` must be equivalent to `(g • f)(x)`. 3. Composition must be associative - `f • (g • h)` is the same as `(f • g) * h` + `f • (g • h)` is the same as `(f • g) • h` Since these rules govern composition at very abstract level, category theory is great at uncovering new ways of composing things.