aboutsummaryrefslogtreecommitdiff
path: root/sections/fraisse_classes.tex
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-05 22:16:39 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-05 22:16:39 +0200
commit43d8381bf8e71d3418f861bc73a8acafa2f25a10 (patch)
tree29a58389574db77133507d374e80470229d7eed5 /sections/fraisse_classes.tex
parent14de439d475ec315ae40c85f813036e5568a019f (diff)
Introduction scratch
Diffstat (limited to 'sections/fraisse_classes.tex')
-rw-r--r--sections/fraisse_classes.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/sections/fraisse_classes.tex b/sections/fraisse_classes.tex
index ca2247e..9110f44 100644
--- a/sections/fraisse_classes.tex
+++ b/sections/fraisse_classes.tex
@@ -9,7 +9,7 @@
\subsection{Definitions}
\begin{definition}
Let $L$ be a signature and $M$ be an $L$-structure. The \emph{age} of $M$ is
- the class $\bK$ of all finitely generated structures that embeds into $M$.
+ the class $\bK$ of all finitely generated structures that embed into $M$.
The age of $M$ is also associated with class of all structures embeddable in
$M$ \emph{up to isomorphism}.
\end{definition}
@@ -63,7 +63,7 @@
\begin{tikzcd}
& D & \\
A \arrow[ur, dashed, "g"] & & B \arrow[ul, dashed, "h"'] \\
- & C \arrow[ur, "f"'] \arrow[ul, "e"]
+ & C \arrow[ur, "f"'] \arrow[ul, "e"] &
\end{tikzcd}
\end{center}
\end{definition}