diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-05 22:16:39 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-05 22:16:39 +0200 |
commit | 43d8381bf8e71d3418f861bc73a8acafa2f25a10 (patch) | |
tree | 29a58389574db77133507d374e80470229d7eed5 /sections/fraisse_classes.tex | |
parent | 14de439d475ec315ae40c85f813036e5568a019f (diff) |
Introduction scratch
Diffstat (limited to 'sections/fraisse_classes.tex')
-rw-r--r-- | sections/fraisse_classes.tex | 4 |
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} |