@@ -56,7 +56,7 @@ class Semigroupoid a where
5656 (<<<) :: forall b c d. a c d -> a b c -> a b d
5757```
5858
59−A `Semigroupoid` is similar to a [`Category`](#Category) but does not require an identity
59+A `Semigroupoid` is similar to a [`Category`](#category) but does not require an identity
6060element `id`, just composable morphisms.
6161
6262`Semigroupoid`s should obey the following rule: