From a325ca2d9111bad0a52ab38bc9b9284bf5ed1a50 Mon Sep 17 00:00:00 2001
From: Masahiro Kitagawa <ktgw0316@users.noreply.github.com>
Date: Mon, 19 Sep 2022 21:39:36 +0900
Subject: [PATCH] Revert wrong "typo fix" for "iff" (#298)

- 'iff' normally means 'if and only if', which is stronger than just 'if'.
https://en.wikipedia.org/wiki/If_and_only_if
- See the discussion on #294
---
 src/content/3.2/adjunctions.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/content/3.2/adjunctions.tex b/src/content/3.2/adjunctions.tex
index 89395d1d..e18ef830 100644
--- a/src/content/3.2/adjunctions.tex
+++ b/src/content/3.2/adjunctions.tex
@@ -271,7 +271,7 @@ \section{Adjunctions and Hom-Sets}
 we have two objects in $\cat{D}$, $d$ and $R c$. They,
 too, define a hom set:
 \[\cat{D}(d, R c)\]
-We say that $L$ is left adjoint to $R$ if there is an
+We say that $L$ is left adjoint to $R$ iff there is an
 isomorphism of hom sets:
 \[\cat{C}(L d, c) \cong \cat{D}(d, R c)\]
 that is natural both in $d$ and $c$.