From 43d8381bf8e71d3418f861bc73a8acafa2f25a10 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Tue, 5 Jul 2022 22:16:39 +0200 Subject: Introduction scratch --- sections/fraisse_classes.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'sections/fraisse_classes.tex') 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} -- cgit v1.2.3