We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents e0a7e75 + b58ed9b commit 68d104fCopy full SHA for 68d104f
readme.md
@@ -331,7 +331,7 @@ To be a valid category 3 rules must be met:
331
and `f` is a morphism from `a -> b`, and `g` is a morphism from `b -> c`;
332
`g(f(x))` must be equivalent to `(g • f)(x)`.
333
3. Composition must be associative
334
- `f • (g • h)` is the same as `(f • g) * h`
+ `f • (g • h)` is the same as `(f • g) • h`
335
336
Since these rules govern composition at very abstract level, category theory is great at uncovering new ways of composing things.
337
0 commit comments