From a2663fec3998042b483b4a5129d5521b1f3cc02d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Favier?= Date: Wed, 30 Oct 2024 19:01:49 +0100 Subject: [PATCH] chore: typos --- src/Cat/Functor/Equivalence.lagda.md | 2 +- .../{LICSENSE.fast-fuzzy.txt => LICENSE.fast-fuzzy.txt} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename support/static/licenses/{LICSENSE.fast-fuzzy.txt => LICENSE.fast-fuzzy.txt} (100%) diff --git a/src/Cat/Functor/Equivalence.lagda.md b/src/Cat/Functor/Equivalence.lagda.md index 2e7d52d98..b320807e8 100644 --- 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/support/static/licenses/LICSENSE.fast-fuzzy.txt b/support/static/licenses/LICENSE.fast-fuzzy.txt similarity index 100% rename from support/static/licenses/LICSENSE.fast-fuzzy.txt rename to support/static/licenses/LICENSE.fast-fuzzy.txt