From fa334cef8c04e50a45b366a3427db18e638fc992 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka 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