---
diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index e596c31d..33f9bf38 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -258,7 +258,7 @@ where as we said `γ`

is a natural transformation from `G` to so
Summarizing then, the monad laws can be expressed as:
- For all γ, φ in T for which γ <=< φ is defined:
+ For all γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
(i) γ <=< φ is also in T