prose: missed some m's, flip arrow

Suggested-by: Naïm Camille Favier <[email protected]>

Author: TOTBWF

src/Cat/Morphism/Factorisation.lagda.md

@@ -33,7 +33,7 @@ module _
 :::{.definition #factorisation}
 Let $L, R \subseteq C$ be two classes of morphisms of $\cC$.
 An $(L,R)$ **factorisation** of a morphism $f : \cC(X,Y)$ consists
-of an object $m(f) : \cC$ and a pair of morphisms $l : \cC(X,M), r : \cC(M,Y)$
+of an object $m(f) : \cC$ and a pair of morphisms $l : \cC(X,m(f)), r : \cC(m(f),Y)$
 such that $l \in L$, $r \in R$, and $f = r \circ l$.
 :::
 

src/Cat/Morphism/Orthogonal.lagda.md

@@ -33,7 +33,7 @@ diagram like
   \arrow["v", from=3-1, to=3-3]
   \arrow["f"', from=1-1, to=3-1]
   \arrow["g", from=1-3, to=3-3]
-  \arrow[dashed, from=1-3, to=3-1]
+  \arrow[dashed, from=3-1, to=1-3]
 \end{tikzcd}\]
 ~~~