---
advanced_topics/monads_in_category_theory.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 293c7e31..ac99f975 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -154,7 +154,7 @@ by naturalness of `η`

, is:
φ[C2] ∘ η[C2] ∘ G(f) = J(f) ∘ φ[C1] ∘ η[C1]
-Hence, we can define `(φ -v- η)[x]`

as: `φ[x] ∘ η[x]`

and rely on it to satisfy the constraints for a natural transformation from `G` to `J`:
+Hence, we can define `(φ -v- η)[\_]`

as: `φ[\_] ∘ η[\_]`

and rely on it to satisfy the constraints for a natural transformation from `G` to `J`:
(φ -v- η)[C2] ∘ G(f) = J(f) ∘ (φ -v- η)[C1]
--
2.11.0