From fa334cef8c04e50a45b366a3427db18e638fc992 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Sun, 10 Jul 2022 20:24:41 +0200
Subject: Capitalised words before \ref
---
sections/fraisse_classes.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
(limited to 'sections/fraisse_classes.tex')
diff --git a/sections/fraisse_classes.tex b/sections/fraisse_classes.tex
index 5f3d833..74a8d61 100644
--- a/sections/fraisse_classes.tex
+++ b/sections/fraisse_classes.tex
@@ -289,7 +289,7 @@
\end{definition}
Actually we did already implicitly worked with free amalgamation in the
- proposition \ref{proposition:finite-graphs-fraisse-class}, showing that
+ Proposition \ref{proposition:finite-graphs-fraisse-class}, showing that
the class of finite strcuture is indeed a Fraïssé class.
@@ -369,7 +369,7 @@
\end{tikzcd}
\end{center}
- Then, by the fact \ref{fact:functor_iso}, $\otimes_C(\eta)$ is an automorphism
+ Then, by the Fact \ref{fact:functor_iso}, $\otimes_C(\eta)$ is an automorphism
of the pushout diagram:
\begin{center}
@@ -475,7 +475,7 @@
\begin{proof}
Let $\Gamma=\Flim(\cC)$ and $(\Pi, \sigma) =\Flim(\cD)$. By the Fraïssé
- theorem \ref{theorem:fraisse_thm} it suffices to show that the age of $\Pi$
+ Theorem \ref{theorem:fraisse_thm} it suffices to show that the age of $\Pi$
is $\cC$ and that it is weakly ultrahomogeneous. The
former comes easily, as for every structure $A\in \cC$ we have the structure
$(A, \id_A)\in \cD$, which means that the structure $A$ embeds into $\Pi$.
--
cgit v1.2.3