chore: typos (#438)

the1lab · Nov 13, 2024 · 4351647 · 4351647
1 parent 2e1684b
commit 4351647
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/Cat/Functor/Equivalence.lagda.md b/src/Cat/Functor/Equivalence.lagda.md
@@ -838,7 +838,7 @@ Id-is-equivalence {C = C} .counit-iso x =
 
 ### Preserving invertibility
 
-We can characterise equivalences as those adjunctions $L \vdash R$ that
+We can characterise equivalences as those adjunctions $L \dashv R$ that
 *preserve invertibility*, in the sense that the adjunct of an isomorphism
 $L(a) \cong b$ is an isomorphism $a \cong R(b)$ and vice versa;
 that is, the property of being invertible in $\cC$ is equivalent to

diff --git a/...t/static/licenses/LICSENSE.fast-fuzzy.txt → ...rt/static/licenses/LICENSE.fast-fuzzy.txt b/...t/static/licenses/LICSENSE.fast-fuzzy.txt → ...rt/static/licenses/LICENSE.fast-fuzzy.txt