going through sec. 4.7 (G-Sets)

UniMath · Aug 22, 2024 · e216aeb · e216aeb
1 parent d5a4317
commit e216aeb
Show file tree

Hide file tree

Showing 4 changed files with 326 additions and 152 deletions.
diff --git a/choicefin.tex b/choicefin.tex
@@ -106,7 +106,7 @@ \section{Choice for finite sets\titledagger}
 Correspondingly, we need an even stronger version of the axiom of choice,
 where the family $P$ is allowed to be arbitrary.
 Let $\AC_\infty$ denote this untruncated axiom of choice,
-and let $\lAC{X}_\infty$ denote let local version, fixing a set $X$.
+and let $\lAC{X}_\infty$ denote the local version, fixing a set $X$.
 This is connected to another principle, which is much more constructive,
 yet still not true in all models.
 

diff --git a/circle.tex b/circle.tex
@@ -627,7 +627,7 @@ \section{\Coverings}
 the other interpretation ``all the preimages are connected''
 would simply give us an equivalence (since connected sets are contractible),
 and this is \emph{not} what is intended. (Equivalences are \coverings,
-but not necessarily connected \coverings and connected \coverings are not neccesarily equivalences.)
+but not necessarily connected \coverings and connected \coverings are not necessarily equivalences.)
 
 Likewise for the other qualifications; for instance, in a ``finite \covering'' $f:A\to B$,
 all fibers are finite sets, but