Skip to content

Commit

Permalink
Revert wrong "typo fix" for "iff" (hmemcpy#298)
Browse files Browse the repository at this point in the history
- '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 hmemcpy#294
  • Loading branch information
ktgw0316 authored Sep 19, 2022
1 parent 143f1a5 commit a325ca2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/content/3.2/adjunctions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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$.
Expand Down

0 comments on commit a325ca2

Please sign in to comment.