Skip to content

Commit a325ca2

Browse files
authored
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
1 parent 143f1a5 commit a325ca2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/content/3.2/adjunctions.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -271,7 +271,7 @@ \section{Adjunctions and Hom-Sets}
271271
we have two objects in $\cat{D}$, $d$ and $R c$. They,
272272
too, define a hom set:
273273
\[\cat{D}(d, R c)\]
274-
We say that $L$ is left adjoint to $R$ if there is an
274+
We say that $L$ is left adjoint to $R$ iff there is an
275275
isomorphism of hom sets:
276276
\[\cat{C}(L d, c) \cong \cat{D}(d, R c)\]
277277
that is natural both in $d$ and $c$.

0 commit comments

Comments
 (0)