More diapos
This commit is contained in:
parent
44c61e7ff8
commit
4c7b5b604e
GPG Key ID:
0220AC4A3D6A328B
1
Report/.gitignore
vendored
1
Report/.gitignore
vendored
@ -1,2 +1,3 @@
|
|||||||
.build/
|
.build/
|
||||||
graphs/*.tex
|
graphs/*.tex
|
||||||
|
svg-inkscape
|
||||||
|
|||||||
@ -1,4 +1,5 @@
|
|||||||
% !TeX spellcheck = en_US
|
% !TeX spellcheck = en_US
|
||||||
|
\DocumentMetadata{}
|
||||||
\documentclass[12pt,xcolor={dvipsnames},aspectratio=169]{beamer}
|
\documentclass[12pt,xcolor={dvipsnames},aspectratio=169]{beamer}
|
||||||
|
|
||||||
\input{./headerDiapo.tex}
|
\input{./headerDiapo.tex}
|
||||||
@ -21,67 +22,119 @@
|
|||||||
\tableofcontents[hidesubsections]
|
\tableofcontents[hidesubsections]
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\section{Introduction}
|
\section{GATs and 2-sortification}
|
||||||
\subsection{What is a GAT ?}
|
|
||||||
\begin{frame}{What is a GAT ?}
|
\begin{frame}{What is a GAT ?}
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
\item A syntactic object
|
\item A dependent \textbf{type theory}
|
||||||
\item Defines a set of models
|
\item[\ding{220}] Enables to create sorts, object of those sorts, equalities between those objects
|
||||||
\item Defines a category of models
|
\item A \textbf{syntactic object}
|
||||||
|
\item[\ding{220}] Type judgements are defined with induction rules
|
||||||
|
\item Describes \textbf{models}
|
||||||
|
\item[\ding{220}] Defines a category of models
|
||||||
\end{itemize}
|
\end{itemize}
|
||||||
\end{frame}
|
\end{frame}
|
||||||
\begin{frame}{A GAT for Type Theory}
|
|
||||||
\renewcommand\to{{\;\rightarrow\;}}
|
|
||||||
\begin{center}
|
\begin{frame}{A GAT for a function in Set}
|
||||||
\renewcommand\arraystretch{1.5}
|
\begin{tcolorbox}
|
||||||
\begin{tabular}{|c|c|c|}
|
\renewcommand\arraystretch{1.5}
|
||||||
\hline
|
\begin{tabular}{l}
|
||||||
$\Con : \Set$ &
|
$A : \Set$ \\
|
||||||
$\Ty : (\Gamma : \Con) \to \Set$ &
|
$B : \Set$ \\\hline
|
||||||
$\Tm : (\Delta : \Con) \to (A : \Ty\;\Delta) \to \Set$ \\\hline
|
$\operatorname{exec} : A \to B$ \\
|
||||||
\end{tabular}
|
\pause
|
||||||
\end{center}
|
$\operatorname{invexec} : B \to A$\\\hline
|
||||||
\pause
|
$\operatorname{isol} : (x : A) \to \operatorname{invexec}(\operatorname{exec}\;x) = x$\\
|
||||||
\begin{columns}
|
$\operatorname{isor} : (y : B) \to \operatorname{exec}(\operatorname{invexec}\;y) = y$\\
|
||||||
\begin{column}{0.60\textwidth}
|
\end{tabular}
|
||||||
\begin{center}
|
|
||||||
\begin{tcolorbox}[boxsep=-5pt]
|
|
||||||
\renewcommand\arraystretch{1.25}
|
|
||||||
\begin{tabular}{l}
|
|
||||||
$\triangleright: (\Gamma:\Con)\to(A:\Ty\;\Gamma)\to\Con$ \\
|
|
||||||
$\diamond: \Con$ \\
|
|
||||||
$\operatorname{var} : (\Gamma:\Con) \to (A:\Ty\;\Gamma) \to \Tm\;(\Gamma\triangleright A)\;A$ \\
|
|
||||||
$\implies : (\Gamma:\Con) \to \Ty\;\Gamma \to \Ty\;\Gamma \to \Ty\;\Gamma$ \\
|
|
||||||
$\operatorname{app} : (\Gamma : \Con) \to (A\;B :\Ty\;\Gamma) \to$\\
|
|
||||||
\qquad$\Tm\;\Gamma\;(A\implies B)\to\Tm\;\Gamma\; A \to \Tm\;\Gamma\; B$
|
|
||||||
\end{tabular}
|
|
||||||
\end{tcolorbox}
|
\end{tcolorbox}
|
||||||
\end{center}
|
\end{frame}
|
||||||
\end{column}
|
|
||||||
\begin{column}{0.4\textwidth}
|
\begin{frame}{A GAT for a small category}
|
||||||
\[\begin{array}{c}
|
\begin{tcolorbox}
|
||||||
\Gamma : \Con\\
|
\renewcommand\arraystretch{1.5}
|
||||||
A,B : \Ty\;\Gamma\\
|
\begin{tabular}{l}
|
||||||
t : \Tm (\Gamma \triangleright (A \implies B)) A\\
|
$\Obj : \Set$ \\
|
||||||
{\mathbf{\top}}\\
|
$\Hom : \Obj \to \Obj \to \Set$ \\\hline
|
||||||
\operatorname{app}\;\operatorname{var}\;t : \Tm\;(\Gamma\triangleright(A\implies B))\;A
|
$\id : (A : \Obj) \to \Hom\;A\;A$ \\
|
||||||
\end{array}\]
|
$\operatorname{comp} : (A\;B\;C:\Obj) \to \Hom\;B\;C \to\Hom\;A\;B \to \Hom\;A\;C$ \\\hline
|
||||||
\end{column}
|
$\operatorname{idl}: (A B : \Obj) \to (\sigma : \Hom\;A\;B) \to \operatorname{comp} (\id\;B) \sigma = \sigma$\\
|
||||||
\end{columns}
|
$\operatorname{idr}: (A B : \Obj) \to (\sigma : \Hom\;A\;B) \to \operatorname{comp} \sigma (\id\;A) = \sigma$\\
|
||||||
|
$\operatorname{comp-trans}: \dots$\\
|
||||||
|
\end{tabular}
|
||||||
|
\end{tcolorbox}
|
||||||
|
\end{frame}
|
||||||
|
|
||||||
|
\begin{frame}{A GAT for Type Theory}
|
||||||
|
\begin{tcolorbox}
|
||||||
|
\renewcommand\arraystretch{1.5}
|
||||||
|
\begin{tabular}{l}
|
||||||
|
$\Con : \Set$ \\
|
||||||
|
$\Ty : \Con \to \Set$ \\
|
||||||
|
$\Tm : (\Gamma : \Con) \to \Ty\;\Gamma \to \Set$ \\\hline
|
||||||
|
$\operatorname{empty}: \Con$ \\
|
||||||
|
$\operatorname{ext}: (\Gamma:\Con)\to(A:\Ty\;\Gamma)\to\Con$ \\
|
||||||
|
$\operatorname{implies} : (\Gamma:\Con) \to \Ty\;\Gamma \to \Ty\;\Gamma \to \Ty\;\Gamma$ \\
|
||||||
|
$\operatorname{app} : (\Gamma : \Con) \to (A\;B :\Ty\;\Gamma) \to$\\
|
||||||
|
\qquad$\Tm\;\Gamma\;(\operatorname{implies}\;A\;B)\to\Tm\;\Gamma\; A \to \Tm\;\Gamma\; B$
|
||||||
|
\end{tabular}
|
||||||
|
\end{tcolorbox}
|
||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
\begin{frame}{2-sortification}
|
\begin{frame}{2-sortification}
|
||||||
\renewcommand\arraystretch{1.5}
|
|
||||||
\begin{center}
|
\begin{center}
|
||||||
|
{\large Transform a GAT into a GAT with only two sorts}
|
||||||
|
|
||||||
|
\ding{229} Simplify a study of GATs
|
||||||
|
\end{center}
|
||||||
|
\end{frame}
|
||||||
|
\begin{frame}{2-sortification of the Set Function GAT}
|
||||||
|
\begin{tcolorbox}
|
||||||
\renewcommand\arraystretch{1.5}
|
\renewcommand\arraystretch{1.5}
|
||||||
\begin{tabular}{|c|c|}
|
\begin{tabular}{ll}
|
||||||
\hline
|
$\mathcal{O} : \Set$ & \color{RoyalBlue} \text{sorts} \\
|
||||||
$\mathcal{O} : \Set$ &
|
$\El : \mathcal{O} \to \Set$ & \color{RoyalBlue}\text{objects of that sort} \pause\\\hline
|
||||||
$\El : \mathcal{O} \to \Set$ \\\hline
|
$A : \mathcal{O}$ &\\
|
||||||
|
$B : \mathcal{O}$ &\\
|
||||||
|
$\operatorname{exec} : \El\;A \to \El\;B$ &
|
||||||
\end{tabular}
|
\end{tabular}
|
||||||
|
\end{tcolorbox}
|
||||||
|
\end{frame}
|
||||||
|
\begin{frame}{2-sortification of Type Theory GAT}
|
||||||
|
\begin{tcolorbox}
|
||||||
|
\renewcommand\arraystretch{1.4}
|
||||||
|
\begin{tabular}{l}
|
||||||
|
$\mathcal{O} : \Set$ \\
|
||||||
|
$\El : \mathcal{O} \to \Set$ \pause\\\hline
|
||||||
|
$\Con : \mathcal{O}$ \\
|
||||||
|
$\Ty : \El\;\Con \to \mathcal{O}$ \\
|
||||||
|
$\Tm : (\Gamma : \El\;\Con) \to \El\;(\Ty\;\Gamma) \to \mathcal{O}$ \\
|
||||||
|
$\operatorname{empty}: \El\;\Con$ \\
|
||||||
|
$\operatorname{ext}: (\Gamma:\El\;\Con)\to(A:\El\;(\Ty\;\Gamma))\to\El\;\Con$ \\
|
||||||
|
$\operatorname{implies} : (\Gamma:\El\;\Con) \to \El\;(\Ty\;\Gamma) \to \El\;(\Ty\;\Gamma) \to \El\;(\Ty\;\Gamma)$
|
||||||
|
\end{tabular}
|
||||||
|
\end{tcolorbox}
|
||||||
|
\end{frame}
|
||||||
|
\begin{frame}{Goal of the internship}{}
|
||||||
|
|
||||||
|
{\large Is this transformation correct ?}
|
||||||
|
|
||||||
|
\ding{229} Can one study all GATs by studying only GATs with two sorts
|
||||||
|
|
||||||
|
{\large How to state this fact}
|
||||||
|
|
||||||
|
\ding{229} Semantical proof
|
||||||
|
|
||||||
|
\begin{center}
|
||||||
|
\includesvg[scale=.4]{graphs/diagrammeFG.svg}
|
||||||
\end{center}
|
\end{center}
|
||||||
|
|
||||||
\todo{Cette partie}
|
\ding{229} This adjunction proves that one can make the initial model of any GAT from the initial model of the transformed GAT\inlinetodo{Ptet trop pointu}
|
||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
|
\section{One Example}
|
||||||
|
|
||||||
\begin{frame}{Category of Models \& Generalization}
|
\begin{frame}{Category of Models \& Generalization}
|
||||||
\begin{tabular}{lcp{0.5\textwidth}}
|
\begin{tabular}{lcp{0.5\textwidth}}
|
||||||
$\boxed{\bullet}$ & $\CC_0 :=$ &
|
$\boxed{\bullet}$ & $\CC_0 :=$ &
|
||||||
@ -126,30 +179,24 @@
|
|||||||
|
|
||||||
\[
|
\[
|
||||||
\BB_0 := \left(X_\UU : \Set, X_\El : \Set^{X_\UU}\right)
|
\BB_0 := \left(X_\UU : \Set, X_\El : \Set^{X_\UU}\right)
|
||||||
\uncover<2->{\ensuremath{\simeq \left(X_\UU : \Set, X_\El : \Set/X_\UU\right)}}
|
{\color{PineGreen}\ensuremath{\simeq \left(X_\UU : \Set, X_\El : \Set/X_\UU\right)}}
|
||||||
\uncover<3->{\ensuremath{\equiv \TSet}}
|
|
||||||
\]
|
|
||||||
\pause
|
|
||||||
\[
|
|
||||||
\TT := \simpleUpDownArrow{El}{p}{\UU}
|
|
||||||
\]
|
\]
|
||||||
\pause
|
\pause
|
||||||
\begin{center}
|
\begin{center}
|
||||||
\begin{tabular}{ll}
|
\begin{tabular}{ll}
|
||||||
$X_\UU$:& Sortes \\
|
$X_\UU$:& Sorts \\
|
||||||
$X_\El$:& Objets\\
|
$X_\El(o)$:& Objects of sort $o$\\
|
||||||
$X_p(x)$:& Sorte de l'objet \\
|
|
||||||
\end{tabular}
|
\end{tabular}
|
||||||
\end{center}
|
\end{center}
|
||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}{Adding transformed sort declarations}
|
\begin{frame}{Adding transformed sort declarations}
|
||||||
|
|
||||||
\begin{center}
|
\begin{center}
|
||||||
\begin{tabular}{ll}
|
\begin{tabular}{ll}
|
||||||
$X_\UU$:& Sortes \\
|
$X_\UU$:& Sorts \\
|
||||||
$X_\El$:& Objets\\
|
$X_\El(o)$:& Objects of sort $o$\\
|
||||||
$X_p(x)$:& Sorte de l'objet \\
|
|
||||||
\end{tabular}
|
\end{tabular}
|
||||||
\end{center}
|
\end{center}
|
||||||
\begin{center}
|
\begin{center}
|
||||||
@ -160,10 +207,10 @@
|
|||||||
\only<1>{$X_\UU$}
|
\only<1>{$X_\UU$}
|
||||||
\only<2>{$H_1F_0(X) \to X_\UU$} \\
|
\only<2>{$H_1F_0(X) \to X_\UU$} \\
|
||||||
$\boxed{\Ty : (\Gamma : \underline{\Con}) \to \mathcal{O}}$ & $\Cstr_\Ty :$&
|
$\boxed{\Ty : (\Gamma : \underline{\Con}) \to \mathcal{O}}$ & $\Cstr_\Ty :$&
|
||||||
\only<1>{$\left(\Gamma \in X_\El\middle|X_p(\Gamma) = \Cstr_\Con\right) \to X_\UU $}
|
\only<1>{$\left(\Gamma \in X_\El(\Cstr_\Con)\right) \to X_\UU $}
|
||||||
\only<2>{$H_2F_1(X,\Cstr_\Con) \to X_\UU$} \\
|
\only<2>{$H_2F_1(X,\Cstr_\Con) \to X_\UU$} \\
|
||||||
$\boxed{\Tm : (\Delta : \underline{\Con}) \to (A : \underline{\Ty\;\Delta}) \to \mathcal{O}}$ & $\Cstr_\Tm : $ &
|
$\boxed{\Tm : (\Delta : \underline{\Con}) \to (A : \underline{\Ty\;\Delta}) \to \mathcal{O}}$ & $\Cstr_\Tm : $ &
|
||||||
\only<1>{$\begin{array}{c}\left(\Delta \in X_\El\middle|X_p(\Delta) = \Cstr_\Con\right) \to\\ \left(A \in X_\El\middle|X_p(A) = \Cstr_\Ty(\Delta)\right) \to\\ X_\UU\end{array}$}
|
\only<1>{$\begin{array}{c}\left(\Delta \in X_\El(\Cstr_\Con)\right) \to\\ \left(A \in X_\El(\Cstr_\Ty(\Delta))\right) \to\\ X_\UU\end{array}$}
|
||||||
\only<2>{$H_3F_2(X,\Cstr_\Con,\Cstr_\Ty) \to X_\UU$}
|
\only<2>{$H_3F_2(X,\Cstr_\Con,\Cstr_\Ty) \to X_\UU$}
|
||||||
\end{tabular}
|
\end{tabular}
|
||||||
\end{center}
|
\end{center}
|
||||||
@ -173,7 +220,7 @@
|
|||||||
\[
|
\[
|
||||||
\begin{array}{l|l}
|
\begin{array}{l|l}
|
||||||
Y : \mathbf{\CC_3} & X : \mathbf{\BB_3} \\\hline
|
Y : \mathbf{\CC_3} & X : \mathbf{\BB_3} \\\hline
|
||||||
& X : \TSet\\
|
& X_\UU : \Set \quad X_\El : \Set^{X_\UU}\\
|
||||||
Y_\Con : \Set & \Cstr_\Con : X_\UU \\
|
Y_\Con : \Set & \Cstr_\Con : X_\UU \\
|
||||||
\left(Y_\Ty(\Gamma)\right)_{\Gamma \in Y_\Con} &
|
\left(Y_\Ty(\Gamma)\right)_{\Gamma \in Y_\Con} &
|
||||||
\Cstr_\Ty : H_2 F_{1} (X,\Cstr_\Con) \to X_\UU \\
|
\Cstr_\Ty : H_2 F_{1} (X,\Cstr_\Con) \to X_\UU \\
|
||||||
@ -184,9 +231,8 @@
|
|||||||
|
|
||||||
\begin{center}
|
\begin{center}
|
||||||
\begin{tabular}{ll}
|
\begin{tabular}{ll}
|
||||||
$X_\UU$:& Sortes \\
|
$X_\UU$:& Sorts \\
|
||||||
$X_\El$:& Objets\\
|
$X_\El(o)$:& Objects of sort $o$\\
|
||||||
$X_p(x)$:& Sorte de l'objet \\
|
|
||||||
\end{tabular}
|
\end{tabular}
|
||||||
\end{center}
|
\end{center}
|
||||||
\end{frame}
|
\end{frame}
|
||||||
@ -195,65 +241,78 @@
|
|||||||
|
|
||||||
\only<1>{
|
\only<1>{
|
||||||
\[\begin{array}{ccl}
|
\[\begin{array}{ccl}
|
||||||
X_\El & = & \text{«objets»}\\
|
X_\UU & = & \text{«sorts»}\\
|
||||||
\labeledupdownarrow{p}&& \labeledupdownarrow{\text{«sorte de l'objet»}}\\
|
X_\El(o) & = & \text{«objects of sort $o$»}
|
||||||
X_\UU & = & \text{«sortes»}
|
|
||||||
\end{array}\]
|
\end{array}\]
|
||||||
}
|
}
|
||||||
\pause
|
\pause
|
||||||
\[\begin{array}{ccccccc}
|
\[\begin{array}{ccccccc}
|
||||||
|
|
||||||
X_\El & = &
|
|
||||||
Y_\Con & \oplus &
|
|
||||||
\displaystyle\coprod_{\Gamma \in Y_\Con}Y_\Ty(\Gamma) & \oplus &
|
|
||||||
\displaystyle\coprod_{\Delta \in Y_\Con}\coprod_{A \in Y_\Ty(\Delta)}Y_\Ty(\Delta,A)\\
|
|
||||||
\labeledupdownarrow{p}&&\labeledupdownarrow{}&&\labeledupdownarrow{\operatorname{proj}_1}&&\labeledupdownarrow{\operatorname{proj}_{2,1}}\\
|
|
||||||
X_\UU & = &
|
X_\UU & = &
|
||||||
1 & \oplus &
|
1 & \oplus &
|
||||||
Y_\Con & \oplus&
|
Y_\Con & \oplus&
|
||||||
\displaystyle\coprod_{\Delta \in Y_\Con}Y_\Ty(\Delta)
|
\displaystyle\coprod_{\Delta \in Y_\Con}Y_\Ty(\Delta) \\
|
||||||
|
X_\El(\inj_1(\star)) & = &
|
||||||
|
Y_\Con &&&&\\
|
||||||
|
X_\El(\inj_2(\Gamma)) & = &
|
||||||
|
&&\displaystyle\coprod_{\Gamma \in Y_\Con}Y_\Ty(\Gamma) &&\\
|
||||||
|
X_\El(\inj_3(\Delta,A)) & = &
|
||||||
|
&&&& \displaystyle\coprod_{\Delta \in Y_\Con}\coprod_{A \in Y_\Ty(\Delta)}Y_\Ty(\Delta,A)\\
|
||||||
|
|
||||||
\end{array}\]
|
\end{array}\]
|
||||||
\pause
|
\pause
|
||||||
\[\begin{array}{lcl}
|
\[\begin{array}{lcl}
|
||||||
\Cstr^X_\Con &=& \inj_1(\star)\\
|
\Cstr_\Con &=& \inj_1(\star)\\
|
||||||
\Cstr^X_\Ty(\Gamma) &=& \inj_2(\Gamma) \\
|
\Cstr_\Ty(\Gamma) &=& \inj_2(\Gamma) \\
|
||||||
\Cstr^X_\Tm(\Delta,A) &=& \inj_3(\Delta,A)
|
\Cstr_\Tm(\Delta,A) &=& \inj_3(\Delta,A)
|
||||||
\end{array}\]
|
\end{array}\]
|
||||||
|
\pause
|
||||||
|
\begin{remark}
|
||||||
|
All sorts of $X_\UU$ are reached by some $\Cstr$
|
||||||
|
\end{remark}
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}{Constructing $F_3$}
|
\begin{frame}{Constructing $F_3$}
|
||||||
\begin{center}
|
|
||||||
\begin{tabular}{ll}
|
|
||||||
$X_\UU$:& Sortes \\
|
|
||||||
$X_\El$:& Objets\\
|
|
||||||
$X_p(x)$:& Sorte de l'objet \\
|
|
||||||
\end{tabular}
|
|
||||||
\end{center}
|
|
||||||
|
|
||||||
\renewcommand\arraystretch{1.8}
|
\renewcommand\arraystretch{1.8}
|
||||||
\[
|
\[
|
||||||
\begin{array}{l|l}
|
\begin{array}{l|l}
|
||||||
X : \mathbf{\BB_3} & Y = F_3(X): \mathbf{\CC_3}\\\hline
|
X : \mathbf{\BB_3} & Y = F_3(X): \mathbf{\CC_3}\\\hline
|
||||||
X : \TSet &\\
|
X_\UU : \Set\quad X_\El : \Set^{X_\UU} &\\
|
||||||
\Cstr_\Con : X_\UU & Y_\Con =
|
\Cstr_\Con : X_\UU & Y_\Con =
|
||||||
\uncover<2->{\ensuremath{X_p^{-1}(\left\{\Cstr^X_\Con\right\}) \subseteq X_\El}}\\
|
\uncover<2->{\ensuremath{X_\El(\Cstr^X_\Con)}}\\
|
||||||
\Cstr_\Ty : H_2 F_{1} (X,\Cstr_\Con) \to X_\UU &
|
\Cstr_\Ty : H_2 F_{1} (X,\Cstr_\Con) \to X_\UU &
|
||||||
Y_\Ty(\Gamma) =
|
Y_\Ty(\Gamma) =
|
||||||
\uncover<3->{\ensuremath{X_p^{-1}(\{\Cstr^X_\Ty(\Gamma)\})}}\\
|
\uncover<3->{\ensuremath{X_\El(\Cstr^X_\Ty(\Gamma))}}\\
|
||||||
\Cstr_\Tm : H_3 F_{2} (X,\Cstr_\Con,\Cstr_\Ty) \to X_\UU &
|
\Cstr_\Tm : H_3 F_{2} (X,\Cstr_\Con,\Cstr_\Ty) \to X_\UU &
|
||||||
Y_\Tm(\Delta,A) =
|
Y_\Tm(\Delta,A) =
|
||||||
\uncover<4->{\ensuremath{X_p^{-1}(\Cstr^X_\Tm(\Delta,A))}} \\
|
\uncover<4->{\ensuremath{X_\El(\Cstr^X_\Tm(\Delta,A))}} \\
|
||||||
\end{array}
|
\end{array}
|
||||||
\]
|
\]
|
||||||
|
\pause[4]
|
||||||
|
\begin{remark}
|
||||||
|
Each object of $Y$ are associated by $X_\El$ to some $\Cstr$
|
||||||
|
\end{remark}
|
||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}{Adjunction $F \vdash G$}
|
\begin{frame}{Adjunction $F \vdash G$}
|
||||||
|
\[
|
||||||
|
\Hom_{\BB_3}\left(G_3Y,X\right) \simeq \Hom_{\CC_3}\left(Y,F_3X\right)
|
||||||
|
\]
|
||||||
|
\pause
|
||||||
|
|
||||||
|
\begin{remark}
|
||||||
|
All sorts of $G_3Y$ are reached by some $\Cstr$ of $G_3Y$
|
||||||
|
|
||||||
|
Each object of $F_3X$ are associated by $X_\El$ to some $\Cstr$ of $X$
|
||||||
|
\end{remark}
|
||||||
|
\pause
|
||||||
|
\begin{property}
|
||||||
|
$FG \cong \Id$
|
||||||
|
\end{property}
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}{$FG \cong \Id$}
|
\section{The complete proof \& Discoveries}
|
||||||
|
|
||||||
\end{frame}
|
|
||||||
|
|
||||||
\begin{frame}{Structure of the proof}
|
\begin{frame}{Structure of the proof}
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
@ -280,13 +339,15 @@
|
|||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
|
\section{Conclusion}
|
||||||
|
|
||||||
\begin{frame}{Conclusion}
|
\begin{frame}{Conclusion}
|
||||||
|
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}{Future work}
|
\begin{frame}{Future work}
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
\item Complete GAT
|
\item Complete GAT (term constructors + equalities)
|
||||||
\item Proof Assistant Formalization
|
\item Proof Assistant Formalization
|
||||||
\item $S_i$ non-direct
|
\item $S_i$ non-direct
|
||||||
\end{itemize}
|
\end{itemize}
|
||||||
@ -303,3 +364,5 @@
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
71
Report/diapoNotes.md
Normal file
71
Report/diapoNotes.md
Normal file
@ -0,0 +1,71 @@
|
|||||||
|
# M2 Presentation
|
||||||
|
|
||||||
|
### Introduction slide
|
||||||
|
Notes on my internship
|
||||||
|
|
||||||
|
### Plan of the presentation
|
||||||
|
First present what is the subject of my study, and what i tried to achieve.
|
||||||
|
|
||||||
|
The whole proof is too formal and complex: Informally prove one specific example.
|
||||||
|
|
||||||
|
Then, i will present the «structure» of the global proof, and show some things discovered along the way
|
||||||
|
|
||||||
|
## GAT and 2-sortification
|
||||||
|
### What is a GAT
|
||||||
|
|
||||||
|
### A GAT for a function in set
|
||||||
|
A GAT can be composed of three kinds of lines:
|
||||||
|
- Sort declarations
|
||||||
|
- Objects costructors
|
||||||
|
A model is the data of a function from a set to another set i.e. a triple the data of two sets, and a «mapping» between them
|
||||||
|
We can spice up this GAT: Gat of isomorphic functions.
|
||||||
|
- Equalities
|
||||||
|
|
||||||
|
### A GAT for a category
|
||||||
|
Another example of GATs:
|
||||||
|
A category is the data of ...... with ...... such that ......
|
||||||
|
|
||||||
|
### A GAT for Type Theory
|
||||||
|
Last example that of type theory
|
||||||
|
-> a lot to add, contructors, equalities ..., just for the example.
|
||||||
|
|
||||||
|
### 2-sortification
|
||||||
|
Known process
|
||||||
|
Used by Sestini
|
||||||
|
Can simplify a study of GATs to only GATs of two sorts
|
||||||
|
|
||||||
|
### 2-sortification of the Set function GAT
|
||||||
|
Sort specification is always the same. O will describe «sorts» and El will describe «objects of that sort»
|
||||||
|
|
||||||
|
Then, we replace Set occuneces by O and we prefix everything else by El
|
||||||
|
|
||||||
|
### 2-sortification of the Type Theoyr GAT
|
||||||
|
|
||||||
|
### Goal of the internship
|
||||||
|
|
||||||
|
## One Example
|
||||||
|
### Category of Models & Generalization
|
||||||
|
|
||||||
|
### Category of models of the Transformed GAT
|
||||||
|
|
||||||
|
### Adding transformed sort declarations
|
||||||
|
|
||||||
|
### Constructing the functors
|
||||||
|
|
||||||
|
### Contsructing G3
|
||||||
|
|
||||||
|
### Constructing F3
|
||||||
|
|
||||||
|
### Adjunction FG
|
||||||
|
|
||||||
|
## The complete proof & Discoveries
|
||||||
|
### Structure of the proof
|
||||||
|
|
||||||
|
### Fibration of C
|
||||||
|
|
||||||
|
### S from syntax
|
||||||
|
|
||||||
|
## Conclusion
|
||||||
|
### Conclusion
|
||||||
|
|
||||||
|
### Future work
|
||||||
375
Report/graphs/diagrammeFG.svg
Normal file
375
Report/graphs/diagrammeFG.svg
Normal file
@ -0,0 +1,375 @@
|
|||||||
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||||
|
<!-- Created with Inkscape (http://www.inkscape.org/) -->
|
||||||
|
|
||||||
|
<svg
|
||||||
|
width="210mm"
|
||||||
|
height="297mm"
|
||||||
|
viewBox="0 0 210 297"
|
||||||
|
version="1.1"
|
||||||
|
id="svg5"
|
||||||
|
inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
|
||||||
|
sodipodi:docname="diagrammeFG.svg"
|
||||||
|
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
||||||
|
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
|
||||||
|
xmlns="http://www.w3.org/2000/svg"
|
||||||
|
xmlns:svg="http://www.w3.org/2000/svg">
|
||||||
|
<sodipodi:namedview
|
||||||
|
id="namedview7"
|
||||||
|
pagecolor="#ffffff"
|
||||||
|
bordercolor="#000000"
|
||||||
|
borderopacity="0.25"
|
||||||
|
inkscape:showpageshadow="2"
|
||||||
|
inkscape:pageopacity="0.0"
|
||||||
|
inkscape:pagecheckerboard="0"
|
||||||
|
inkscape:deskcolor="#d1d1d1"
|
||||||
|
inkscape:document-units="mm"
|
||||||
|
showgrid="false"
|
||||||
|
inkscape:zoom="1.6819304"
|
||||||
|
inkscape:cx="395.37902"
|
||||||
|
inkscape:cy="181.04197"
|
||||||
|
inkscape:window-width="1680"
|
||||||
|
inkscape:window-height="978"
|
||||||
|
inkscape:window-x="0"
|
||||||
|
inkscape:window-y="15"
|
||||||
|
inkscape:window-maximized="1"
|
||||||
|
inkscape:current-layer="layer1" />
|
||||||
|
<defs
|
||||||
|
id="defs2">
|
||||||
|
<marker
|
||||||
|
style="overflow:visible"
|
||||||
|
id="TriangleStart"
|
||||||
|
refX="0"
|
||||||
|
refY="0"
|
||||||
|
orient="auto-start-reverse"
|
||||||
|
inkscape:stockid="TriangleStart"
|
||||||
|
markerWidth="5.3244081"
|
||||||
|
markerHeight="6.155385"
|
||||||
|
viewBox="0 0 5.3244081 6.1553851"
|
||||||
|
inkscape:isstock="true"
|
||||||
|
inkscape:collect="always"
|
||||||
|
preserveAspectRatio="xMidYMid">
|
||||||
|
<path
|
||||||
|
transform="scale(0.5)"
|
||||||
|
style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
|
||||||
|
d="M 5.77,0 -2.88,5 V -5 Z"
|
||||||
|
id="path135" />
|
||||||
|
</marker>
|
||||||
|
</defs>
|
||||||
|
<g
|
||||||
|
inkscape:label="Layer 1"
|
||||||
|
inkscape:groupmode="layer"
|
||||||
|
id="layer1">
|
||||||
|
<g
|
||||||
|
id="g1316">
|
||||||
|
<rect
|
||||||
|
style="opacity:0.75462;fill:#8fe092;stroke:#4c4c4c;stroke-width:1.45481;fill-opacity:1;stroke-opacity:1"
|
||||||
|
id="rect234-3-6"
|
||||||
|
width="54.818592"
|
||||||
|
height="54.818592"
|
||||||
|
x="34.043354"
|
||||||
|
y="20.940603"
|
||||||
|
ry="5.128902" />
|
||||||
|
<g
|
||||||
|
aria-label="Category of models of the GAT"
|
||||||
|
id="text290"
|
||||||
|
style="font-weight:bold;font-size:8.46667px;font-family:'Josefin Sans';-inkscape-font-specification:'Josefin Sans Bold';opacity:0.75462;stroke-width:1.29646">
|
||||||
|
<path
|
||||||
|
d="m 48.308153,35.074159 q -0.1016,0.08467 -0.381,0.2286 -0.270933,0.143933 -0.668867,0.254 -0.397933,0.110067 -0.880533,0.1016 -0.736601,-0.01693 -1.320801,-0.262467 -0.575733,-0.254 -0.982134,-0.6858 -0.397933,-0.4318 -0.6096,-0.9906 -0.211667,-0.558801 -0.211667,-1.193801 0,-0.7112 0.211667,-1.303867 0.220134,-0.592667 0.618067,-1.024467 0.4064,-0.4318 0.9652,-0.668867 0.558801,-0.237067 1.236134,-0.237067 0.626534,0 1.109134,0.169334 0.4826,0.169333 0.7874,0.364066 l -0.4826,1.159934 q -0.211667,-0.160866 -0.567267,-0.3302 -0.347133,-0.1778 -0.804333,-0.1778 -0.3556,0 -0.685801,0.1524 -0.321733,0.143934 -0.575733,0.414867 -0.245534,0.270933 -0.389467,0.635 -0.143933,0.3556 -0.143933,0.778934 0,0.448733 0.127,0.821267 0.135466,0.372533 0.381,0.643467 0.245533,0.262467 0.5842,0.4064 0.347134,0.143933 0.778934,0.143933 0.499533,0 0.855133,-0.160866 0.355601,-0.160867 0.541867,-0.338667 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path419" />
|
||||||
|
<path
|
||||||
|
d="m 50.898959,35.692226 q -0.516467,0 -0.939801,-0.2032 -0.414866,-0.211667 -0.6604,-0.643467 -0.245533,-0.4318 -0.245533,-1.100667 0,-0.626534 0.254,-1.083734 0.254,-0.4572 0.668867,-0.702734 0.414867,-0.254 0.880533,-0.254 0.550334,0 0.829734,0.186267 0.287867,0.1778 0.474134,0.397933 l -0.0508,0.143934 0.110066,-0.541867 h 1.100667 v 3.699935 h -1.185333 v -0.804334 l 0.09313,0.254 q -0.01693,0 -0.1016,0.1016 -0.08467,0.09313 -0.254,0.2286 -0.160867,0.127 -0.4064,0.220134 -0.237067,0.1016 -0.567267,0.1016 z m 0.338667,-0.965201 q 0.211666,0 0.381,-0.05927 0.169333,-0.06773 0.296333,-0.186267 0.127,-0.127 0.220134,-0.313267 v -0.905933 q -0.06773,-0.186267 -0.203201,-0.313267 -0.135466,-0.135467 -0.321733,-0.2032 -0.186267,-0.0762 -0.414867,-0.0762 -0.254,0 -0.474133,0.135466 -0.211667,0.127 -0.338667,0.3556 -0.127,0.228601 -0.127,0.524934 0,0.296333 0.135467,0.5334 0.135466,0.237067 0.3556,0.372534 0.2286,0.135466 0.491067,0.135466 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path421" />
|
||||||
|
<path
|
||||||
|
d="m 54.886763,30.26509 h 1.185334 v 1.608668 h 0.897467 v 0.922867 h -0.897467 v 2.794001 H 54.886763 V 32.796625 H 54.31103 v -0.922867 h 0.575733 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path423" />
|
||||||
|
<path
|
||||||
|
d="m 59.695824,35.692226 q -0.677334,0 -1.151467,-0.254 -0.465667,-0.254 -0.7112,-0.702734 -0.245534,-0.448733 -0.245534,-1.032934 0,-0.5588 0.287867,-1.007533 0.287867,-0.448734 0.770467,-0.711201 0.4826,-0.270933 1.075267,-0.270933 0.795867,0 1.303867,0.465667 0.516467,0.4572 0.668867,1.329267 l -2.878668,0.9144 -0.262466,-0.643467 2.0828,-0.702733 -0.245533,0.110066 q -0.06773,-0.220133 -0.245533,-0.381 -0.169334,-0.169333 -0.516467,-0.169333 -0.262467,0 -0.465667,0.127 -0.194734,0.118533 -0.3048,0.347133 -0.1016,0.220134 -0.1016,0.524934 0,0.347133 0.127,0.5842 0.127,0.2286 0.347133,0.347134 0.220134,0.118533 0.491067,0.118533 0.194733,0 0.372534,-0.06773 0.186266,-0.06773 0.364066,-0.1778 l 0.524934,0.880533 q -0.296334,0.169334 -0.643467,0.270934 -0.338667,0.1016 -0.643467,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path425" />
|
||||||
|
<path
|
||||||
|
d="m 64.471022,37.453293 q -0.499533,0 -0.846667,-0.118533 -0.338666,-0.118534 -0.575733,-0.287867 -0.237067,-0.169333 -0.423334,-0.321733 l 0.694267,-0.812801 q 0.194734,0.1778 0.448734,0.338667 0.262467,0.169333 0.6858,0.169333 0.2794,0 0.516467,-0.1016 0.245533,-0.09313 0.389467,-0.2794 0.1524,-0.186266 0.1524,-0.465667 v -0.8128 l 0.04233,0.211667 q -0.135467,0.287867 -0.491067,0.508 -0.3556,0.211667 -0.931333,0.211667 -0.499534,0 -0.931334,-0.254 -0.423334,-0.262467 -0.677334,-0.702734 -0.254,-0.448733 -0.254,-1.016 0,-0.584201 0.270934,-1.032934 0.270933,-0.4572 0.702733,-0.719667 0.4318,-0.262467 0.914401,-0.262467 0.4826,0 0.829733,0.143934 0.3556,0.135466 0.533401,0.338666 l -0.04233,0.110067 0.127,-0.4064 h 1.092201 v 3.699935 q 0,0.541867 -0.3048,0.956733 -0.304801,0.423334 -0.812801,0.660401 -0.499533,0.245533 -1.109134,0.245533 z m -1.007533,-3.767668 q 0,0.296333 0.135466,0.5334 0.135467,0.237067 0.364067,0.372534 0.237067,0.135466 0.524934,0.135466 0.245533,0 0.4318,-0.05927 0.194733,-0.06773 0.338667,-0.186267 0.1524,-0.127 0.254,-0.313267 v -0.905933 q -0.0762,-0.186267 -0.2286,-0.313267 -0.1524,-0.135467 -0.3556,-0.2032 -0.194734,-0.0762 -0.440267,-0.0762 -0.287867,0 -0.524934,0.135466 -0.2286,0.127 -0.364067,0.3556 -0.135466,0.228601 -0.135466,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path427" />
|
||||||
|
<path
|
||||||
|
d="m 67.629084,33.694092 q 0,-0.567267 0.262467,-1.016001 0.270933,-0.448733 0.753534,-0.702733 0.4826,-0.262467 1.109133,-0.262467 0.635001,0 1.100667,0.262467 0.465667,0.254 0.711201,0.702733 0.254,0.448734 0.254,1.016001 0,0.567267 -0.254,1.024467 -0.245534,0.448733 -0.711201,0.7112 -0.465666,0.262467 -1.1176,0.262467 -0.6096,0 -1.0922,-0.237067 -0.474134,-0.237067 -0.745067,-0.6858 -0.270934,-0.448734 -0.270934,-1.075267 z m 1.193801,0.0085 q 0,0.287867 0.118533,0.524934 0.118533,0.2286 0.321734,0.364067 0.2032,0.135466 0.4572,0.135466 0.2794,0 0.4826,-0.135466 0.2032,-0.135467 0.313267,-0.364067 0.110066,-0.237067 0.110066,-0.524934 0,-0.296333 -0.110066,-0.524933 -0.110067,-0.2286 -0.313267,-0.364067 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.203201,0.135467 -0.321734,0.364067 -0.118533,0.2286 -0.118533,0.524933 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path429" />
|
||||||
|
<path
|
||||||
|
d="m 73.818213,31.890691 0.110066,1.016 -0.0254,-0.1524 q 0.160867,-0.3302 0.440267,-0.5588 0.2794,-0.237067 0.550334,-0.364067 0.2794,-0.127 0.423333,-0.127 l -0.05927,1.185334 q -0.414867,-0.0508 -0.711201,0.135467 -0.296333,0.186266 -0.4572,0.491067 -0.160867,0.3048 -0.160867,0.626533 v 1.447801 h -1.176867 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path431" />
|
||||||
|
<path
|
||||||
|
d="m 76.51908,37.368626 2.463801,-5.477935 h 1.066801 l -2.387601,5.477935 z m 0.990601,-1.761067 -1.811868,-3.716868 h 1.329267 l 1.397001,3.124201 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path433" />
|
||||||
|
<path
|
||||||
|
d="m 42.021642,44.277429 q 0,-0.567267 0.262467,-1.016 0.270933,-0.448734 0.753533,-0.702734 0.482601,-0.262467 1.109134,-0.262467 0.635,0 1.100667,0.262467 0.465667,0.254 0.711201,0.702734 0.254,0.448733 0.254,1.016 0,0.567267 -0.254,1.024467 -0.245534,0.448734 -0.711201,0.711201 -0.465667,0.262466 -1.1176,0.262466 -0.6096,0 -1.092201,-0.237066 -0.474133,-0.237067 -0.745067,-0.685801 -0.270933,-0.448733 -0.270933,-1.075267 z m 1.193801,0.0085 q 0,0.287867 0.118533,0.524933 0.118533,0.228601 0.321733,0.364067 0.2032,0.135467 0.457201,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135466 0.313267,-0.364067 0.110066,-0.237066 0.110066,-0.524933 0,-0.296334 -0.110066,-0.524934 -0.110067,-0.2286 -0.313267,-0.364066 -0.2032,-0.135467 -0.4826,-0.135467 -0.254001,0 -0.457201,0.135467 -0.2032,0.135466 -0.321733,0.364066 -0.118533,0.2286 -0.118533,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path435" />
|
||||||
|
<path
|
||||||
|
d="m 47.49957,46.173963 v -2.667001 h -0.626533 v -1.049867 h 0.626533 v -1.286934 q 0,-0.728133 0.414867,-1.185333 0.423334,-0.465667 1.2192,-0.465667 0.237067,0 0.524934,0.0762 0.296333,0.06773 0.516467,0.2286 l -0.499534,0.855133 q -0.08467,-0.110066 -0.2032,-0.143933 -0.110066,-0.04233 -0.211666,-0.04233 -0.254001,0 -0.414867,0.169333 -0.160867,0.169334 -0.160867,0.541867 v 1.253067 h 1.1176 v 1.049867 h -1.1176 v 2.667001 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path437" />
|
||||||
|
<path
|
||||||
|
d="m 54.653909,42.474029 0.09313,0.651933 -0.01693,-0.0508 q 0.220133,-0.372533 0.550333,-0.575733 0.3302,-0.211667 0.795867,-0.211667 0.3048,0 0.5334,0.08467 0.237067,0.08467 0.397934,0.254001 0.160867,0.160866 0.220133,0.423333 l -0.04233,0.0085 q 0.237067,-0.347134 0.567267,-0.5588 0.338667,-0.211667 0.702733,-0.211667 0.550334,0 0.872067,0.313267 0.330201,0.3048 0.338667,0.795867 v 2.777067 H 58.48931 v -2.286001 q -0.0085,-0.245533 -0.0762,-0.397933 -0.06773,-0.160867 -0.313267,-0.1778 -0.287867,0 -0.491067,0.2032 -0.194733,0.194733 -0.296333,0.508 -0.09313,0.3048 -0.09313,0.635 v 1.515534 h -1.185334 v -2.286001 q -0.0085,-0.245533 -0.09313,-0.397933 -0.0762,-0.160867 -0.321733,-0.1778 -0.2794,0 -0.474134,0.2032 -0.186266,0.194733 -0.287866,0.499533 -0.09313,0.304801 -0.09313,0.626534 v 1.532467 h -1.185334 v -3.699934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path439" />
|
||||||
|
<path
|
||||||
|
d="m 60.597518,44.277429 q 0,-0.567267 0.262467,-1.016 0.270933,-0.448734 0.753534,-0.702734 0.4826,-0.262467 1.109133,-0.262467 0.635001,0 1.100668,0.262467 0.465666,0.254 0.7112,0.702734 0.254,0.448733 0.254,1.016 0,0.567267 -0.254,1.024467 -0.245534,0.448734 -0.7112,0.711201 -0.465667,0.262466 -1.117601,0.262466 -0.6096,0 -1.0922,-0.237066 -0.474134,-0.237067 -0.745067,-0.685801 -0.270934,-0.448733 -0.270934,-1.075267 z m 1.193801,0.0085 q 0,0.287867 0.118533,0.524933 0.118534,0.228601 0.321734,0.364067 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135466 0.313267,-0.364067 0.110066,-0.237066 0.110066,-0.524933 0,-0.296334 -0.110066,-0.524934 -0.110067,-0.2286 -0.313267,-0.364066 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.2032,0.135466 -0.321734,0.364066 -0.118533,0.2286 -0.118533,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path441" />
|
||||||
|
<path
|
||||||
|
d="m 67.226914,46.275563 q -0.516467,0 -0.922867,-0.237066 -0.406401,-0.245534 -0.643467,-0.702734 -0.228601,-0.4572 -0.228601,-1.083734 0,-0.626533 0.254001,-1.0668 0.254,-0.440267 0.694267,-0.668867 0.440266,-0.2286 0.999067,-0.2286 0.3556,0 0.677333,0.110066 0.3302,0.110067 0.550334,0.338667 v 0.372534 -3.615268 h 1.176867 v 6.680202 h -1.185334 v -0.719667 l 0.09313,0.254 q -0.287866,0.237067 -0.643466,0.406401 -0.355601,0.160866 -0.821267,0.160866 z m 0.389466,-0.999067 q 0.237067,0 0.414867,-0.05927 0.186267,-0.06773 0.321734,-0.186267 0.143933,-0.127 0.245533,-0.313267 v -0.905934 q -0.06773,-0.186266 -0.211667,-0.313266 -0.135466,-0.135467 -0.338666,-0.203201 -0.194734,-0.0762 -0.431801,-0.0762 -0.262466,0 -0.491066,0.135467 -0.220134,0.127 -0.355601,0.3556 -0.135466,0.2286 -0.135466,0.524934 0,0.296333 0.135466,0.5334 0.135467,0.237067 0.355601,0.372534 0.2286,0.135466 0.491066,0.135466 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path443" />
|
||||||
|
<path
|
||||||
|
d="m 72.823387,46.275563 q -0.677333,0 -1.151467,-0.254 -0.465667,-0.254 -0.7112,-0.702733 -0.245534,-0.448734 -0.245534,-1.032934 0,-0.5588 0.287867,-1.007534 0.287867,-0.448733 0.770467,-0.7112 0.4826,-0.270934 1.075267,-0.270934 0.795867,0 1.303867,0.465667 0.516467,0.4572 0.668867,1.329267 l -2.878667,0.914401 -0.262467,-0.643467 2.082801,-0.702734 -0.245534,0.110067 q -0.06773,-0.220133 -0.245533,-0.381 -0.169334,-0.169334 -0.516467,-0.169334 -0.262467,0 -0.465667,0.127001 -0.194733,0.118533 -0.3048,0.347133 -0.1016,0.220133 -0.1016,0.524934 0,0.347133 0.127,0.5842 0.127,0.2286 0.347133,0.347133 0.220134,0.118534 0.491067,0.118534 0.194734,0 0.372534,-0.06773 0.186267,-0.06773 0.364067,-0.1778 l 0.524933,0.880534 q -0.296333,0.169333 -0.643467,0.270933 -0.338667,0.1016 -0.643467,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path445" />
|
||||||
|
<path
|
||||||
|
d="m 75.685115,39.493761 h 1.185334 v 6.680202 h -1.185334 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path447" />
|
||||||
|
<path
|
||||||
|
d="m 79.291924,46.250163 q -0.457201,0 -0.855134,-0.160866 -0.389467,-0.160867 -0.6604,-0.448734 l 0.491066,-0.651933 q 0.270934,0.245533 0.499534,0.3556 0.237067,0.1016 0.423333,0.1016 0.143934,0 0.254001,-0.0254 0.118533,-0.03387 0.186266,-0.09313 0.06773,-0.06773 0.06773,-0.169333 0,-0.143933 -0.118534,-0.2286 -0.110066,-0.08467 -0.287866,-0.135467 -0.177801,-0.05927 -0.381001,-0.118533 -0.508,-0.160867 -0.7366,-0.465667 -0.220133,-0.313267 -0.220133,-0.677334 0,-0.2794 0.143933,-0.5588 0.1524,-0.287867 0.474134,-0.474133 0.3302,-0.194734 0.846667,-0.194734 0.465666,0 0.7874,0.09313 0.321733,0.09313 0.6096,0.304801 l -0.448733,0.694267 q -0.160867,-0.127001 -0.364067,-0.211667 -0.194734,-0.09313 -0.364067,-0.1016 -0.1524,-0.0085 -0.262467,0.03387 -0.1016,0.04233 -0.160867,0.110067 -0.05927,0.06773 -0.05927,0.143934 -0.0085,0.160866 0.118533,0.254 0.135467,0.09313 0.338667,0.143933 0.2032,0.0508 0.397933,0.118533 0.270934,0.08467 0.465667,0.2286 0.194734,0.143934 0.296334,0.347134 0.110066,0.194733 0.110066,0.474133 0,0.338667 -0.1778,0.643467 -0.169333,0.296334 -0.524933,0.482601 -0.347134,0.186266 -0.889,0.186266 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path449" />
|
||||||
|
<path
|
||||||
|
d="m 49.645889,54.860767 q 0,-0.567267 0.262467,-1.016001 0.270933,-0.448733 0.753533,-0.702733 0.482601,-0.262467 1.109134,-0.262467 0.635,0 1.100667,0.262467 0.465667,0.254 0.711201,0.702733 0.254,0.448734 0.254,1.016001 0,0.567267 -0.254,1.024467 -0.245534,0.448733 -0.711201,0.7112 -0.465667,0.262467 -1.1176,0.262467 -0.6096,0 -1.092201,-0.237067 -0.474133,-0.237067 -0.745067,-0.6858 -0.270933,-0.448734 -0.270933,-1.075267 z m 1.1938,0.0085 q 0,0.287867 0.118534,0.524934 0.118533,0.2286 0.321733,0.364067 0.2032,0.135467 0.457201,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135467 0.313266,-0.364067 0.110067,-0.237067 0.110067,-0.524934 0,-0.296333 -0.110067,-0.524933 -0.110066,-0.2286 -0.313266,-0.364067 -0.2032,-0.135467 -0.4826,-0.135467 -0.254001,0 -0.457201,0.135467 -0.2032,0.135467 -0.321733,0.364067 -0.118534,0.2286 -0.118534,0.524933 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path451" />
|
||||||
|
<path
|
||||||
|
d="M 55.123817,56.757301 V 54.0903 h -0.626533 v -1.049867 h 0.626533 v -1.286934 q 0,-0.728134 0.414867,-1.185334 0.423333,-0.465667 1.2192,-0.465667 0.237067,0 0.524934,0.0762 0.296333,0.06773 0.516467,0.2286 l -0.499534,0.855134 q -0.08467,-0.110067 -0.2032,-0.143933 -0.110066,-0.04233 -0.211666,-0.04233 -0.254001,0 -0.414867,0.169334 -0.160867,0.169333 -0.160867,0.541867 v 1.253067 h 1.1176 V 54.0903 h -1.1176 v 2.667001 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path453" />
|
||||||
|
<path
|
||||||
|
d="m 61.550022,51.431765 h 1.185334 v 1.608668 h 0.897467 V 53.9633 h -0.897467 v 2.794001 H 61.550022 V 53.9633 h -0.575734 v -0.922867 h 0.575734 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path455" />
|
||||||
|
<path
|
||||||
|
d="m 64.538749,56.757301 v -6.680203 h 1.159933 v 3.725335 l -0.0085,-0.143933 q 0.194733,-0.347134 0.550333,-0.558801 0.3556,-0.220133 0.872067,-0.220133 0.524934,0 0.872067,0.313267 0.355601,0.3048 0.364067,0.795867 v 2.768601 h -1.185334 v -2.328334 q -0.0085,-0.245534 -0.135466,-0.389467 -0.118534,-0.1524 -0.406401,-0.1524 -0.270933,0 -0.474133,0.1778 -0.2032,0.1778 -0.313267,0.4826 -0.110067,0.3048 -0.110067,0.702734 v 1.507067 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path457" />
|
||||||
|
<path
|
||||||
|
d="m 71.388283,56.858901 q -0.677333,0 -1.151467,-0.254 -0.465667,-0.254 -0.7112,-0.702734 -0.245534,-0.448733 -0.245534,-1.032934 0,-0.5588 0.287867,-1.007533 0.287867,-0.448734 0.770467,-0.711201 0.4826,-0.270933 1.075267,-0.270933 0.795867,0 1.303867,0.465667 0.516467,0.4572 0.668867,1.329267 L 70.50775,55.5889 70.245283,54.945433 72.328084,54.2427 72.08255,54.352767 q -0.06773,-0.220134 -0.245533,-0.381001 -0.169334,-0.169333 -0.516467,-0.169333 -0.262467,0 -0.465667,0.127 -0.194733,0.118533 -0.3048,0.347134 -0.1016,0.220133 -0.1016,0.524933 0,0.347134 0.127,0.5842 0.127,0.2286 0.347133,0.347134 0.220134,0.118533 0.491067,0.118533 0.194734,0 0.372534,-0.06773 0.186266,-0.06773 0.364067,-0.1778 l 0.524933,0.880533 q -0.296333,0.169334 -0.643467,0.270934 -0.338667,0.1016 -0.643467,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path459" />
|
||||||
|
<path
|
||||||
|
d="m 58.942295,66.714105 q -0.110067,0.118533 -0.347134,0.245533 -0.237066,0.118534 -0.550333,0.220134 -0.3048,0.1016 -0.626534,0.160866 -0.321733,0.06773 -0.6096,0.06773 -0.762,0 -1.371601,-0.220134 -0.6096,-0.2286 -1.0414,-0.626533 -0.4318,-0.4064 -0.6604,-0.956734 -0.2286,-0.550334 -0.2286,-1.202267 0,-0.855134 0.254,-1.481667 0.262466,-0.635001 0.702733,-1.049867 0.448734,-0.423334 1.024467,-0.626534 0.584201,-0.2032 1.219201,-0.2032 0.601133,0 1.100667,0.135467 0.499534,0.127 0.846667,0.321733 l -0.397933,1.143001 q -0.152401,-0.08467 -0.406401,-0.169334 -0.254,-0.08467 -0.516467,-0.135467 -0.262466,-0.05927 -0.465666,-0.05927 -0.508001,0 -0.897467,0.127 -0.389467,0.127 -0.660401,0.381 -0.262466,0.254 -0.397933,0.635 -0.135467,0.372534 -0.135467,0.872067 0,0.440267 0.1524,0.795867 0.1524,0.347134 0.423334,0.592667 0.2794,0.245534 0.651933,0.372534 0.381,0.127 0.838201,0.127 0.262466,0 0.4826,-0.03387 0.220133,-0.04233 0.372533,-0.127 V 65.266304 H 56.622427 V 64.08097 h 2.319868 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path461" />
|
||||||
|
<path
|
||||||
|
d="m 59.636554,67.340638 2.810935,-6.477002 h 0.06773 l 2.810935,6.477002 h -1.422401 l -1.794934,-4.555068 0.889,-0.6096 -2.150534,5.164668 z m 1.921935,-2.252134 h 1.871134 l 0.4318,1.032934 h -2.683935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path463" />
|
||||||
|
<path
|
||||||
|
d="m 65.300737,61.109169 h 4.199469 v 1.185334 h -1.515534 v 5.046135 h -1.227667 v -5.046135 h -1.456268 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path465" />
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
<g
|
||||||
|
id="g1308"
|
||||||
|
transform="translate(-15.832557,1.1054134)">
|
||||||
|
<rect
|
||||||
|
style="opacity:0.75462;fill:#7bf8ff;fill-opacity:1;stroke:#4d4d4d;stroke-width:1.45481;stroke-opacity:1"
|
||||||
|
id="rect234-3"
|
||||||
|
width="54.818592"
|
||||||
|
height="54.818592"
|
||||||
|
x="154.45401"
|
||||||
|
y="19.83519"
|
||||||
|
ry="5.128902" />
|
||||||
|
<g
|
||||||
|
aria-label="Category of models of the transformed GAT"
|
||||||
|
id="text294"
|
||||||
|
style="font-weight:bold;font-size:8.46667px;font-family:'Josefin Sans';-inkscape-font-specification:'Josefin Sans Bold';opacity:0.75462;stroke-width:1.29646">
|
||||||
|
<path
|
||||||
|
d="m 168.80348,28.677078 q -0.1016,0.08467 -0.381,0.2286 -0.27093,0.143933 -0.66886,0.254 -0.39794,0.110066 -0.88054,0.1016 -0.7366,-0.01693 -1.3208,-0.262467 -0.57573,-0.254 -0.98213,-0.6858 -0.39793,-0.4318 -0.6096,-0.990601 -0.21167,-0.5588 -0.21167,-1.1938 0,-0.7112 0.21167,-1.303867 0.22013,-0.592667 0.61807,-1.024467 0.4064,-0.431801 0.9652,-0.668867 0.5588,-0.237067 1.23613,-0.237067 0.62653,0 1.10913,0.169333 0.4826,0.169334 0.7874,0.364067 l -0.4826,1.159934 q -0.21166,-0.160867 -0.56726,-0.3302 -0.34714,-0.1778 -0.80434,-0.1778 -0.3556,0 -0.6858,0.1524 -0.32173,0.143933 -0.57573,0.414867 -0.24553,0.270933 -0.38947,0.635 -0.14393,0.3556 -0.14393,0.778933 0,0.448734 0.127,0.821267 0.13547,0.372534 0.381,0.643467 0.24553,0.262467 0.5842,0.406401 0.34713,0.143933 0.77893,0.143933 0.49954,0 0.85514,-0.160867 0.3556,-0.160867 0.54186,-0.338667 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path468" />
|
||||||
|
<path
|
||||||
|
d="m 171.39429,29.295144 q -0.51647,0 -0.9398,-0.2032 -0.41487,-0.211666 -0.6604,-0.643467 -0.24553,-0.4318 -0.24553,-1.100667 0,-0.626533 0.254,-1.083733 0.254,-0.457201 0.66886,-0.702734 0.41487,-0.254 0.88054,-0.254 0.55033,0 0.82973,0.186267 0.28787,0.1778 0.47413,0.397933 l -0.0508,0.143933 0.11007,-0.541866 h 1.10067 v 3.699934 h -1.18534 v -0.804333 l 0.0931,0.254 q -0.0169,0 -0.1016,0.1016 -0.0847,0.09313 -0.254,0.2286 -0.16087,0.127 -0.4064,0.220133 -0.23707,0.1016 -0.56727,0.1016 z m 0.33867,-0.9652 q 0.21166,0 0.381,-0.05927 0.16933,-0.06773 0.29633,-0.186266 0.127,-0.127 0.22013,-0.313267 V 26.86521 q -0.0677,-0.186267 -0.2032,-0.313267 -0.13546,-0.135466 -0.32173,-0.2032 -0.18627,-0.0762 -0.41487,-0.0762 -0.254,0 -0.47413,0.135467 -0.21167,0.127 -0.33867,0.3556 -0.127,0.2286 -0.127,0.524934 0,0.296333 0.13547,0.5334 0.13547,0.237067 0.3556,0.372533 0.2286,0.135467 0.49107,0.135467 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path470" />
|
||||||
|
<path
|
||||||
|
d="m 175.38209,23.868009 h 1.18534 v 1.608667 h 0.89746 v 0.922867 h -0.89746 v 2.794001 h -1.18534 v -2.794001 h -0.57573 v -0.922867 h 0.57573 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path472" />
|
||||||
|
<path
|
||||||
|
d="m 180.19115,29.295144 q -0.67733,0 -1.15146,-0.254 -0.46567,-0.254 -0.7112,-0.702733 -0.24554,-0.448734 -0.24554,-1.032934 0,-0.5588 0.28787,-1.007534 0.28787,-0.448733 0.77047,-0.7112 0.4826,-0.270933 1.07526,-0.270933 0.79587,0 1.30387,0.465666 0.51647,0.457201 0.66887,1.329268 l -2.87867,0.9144 -0.26247,-0.643467 2.08281,-0.702734 -0.24554,0.110067 q -0.0677,-0.220133 -0.24553,-0.381 -0.16934,-0.169333 -0.51647,-0.169333 -0.26247,0 -0.46567,0.127 -0.19473,0.118533 -0.3048,0.347133 -0.1016,0.220133 -0.1016,0.524934 0,0.347133 0.127,0.5842 0.127,0.2286 0.34714,0.347133 0.22013,0.118534 0.49106,0.118534 0.19474,0 0.37254,-0.06773 0.18627,-0.06773 0.36407,-0.1778 l 0.52493,0.880534 q -0.29633,0.169333 -0.64347,0.270933 -0.33867,0.1016 -0.64347,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path474" />
|
||||||
|
<path
|
||||||
|
d="m 184.96635,31.056212 q -0.49953,0 -0.84666,-0.118534 -0.33867,-0.118533 -0.57574,-0.287866 -0.23706,-0.169334 -0.42333,-0.321734 l 0.69427,-0.8128 q 0.19473,0.1778 0.44873,0.338667 0.26247,0.169333 0.6858,0.169333 0.2794,0 0.51647,-0.1016 0.24553,-0.09313 0.38946,-0.2794 0.1524,-0.186267 0.1524,-0.465667 v -0.8128 l 0.0423,0.211666 q -0.13547,0.287867 -0.49107,0.508001 -0.3556,0.211666 -0.93133,0.211666 -0.49954,0 -0.93134,-0.254 -0.42333,-0.262466 -0.67733,-0.702733 -0.254,-0.448734 -0.254,-1.016001 0,-0.5842 0.27093,-1.032933 0.27094,-0.457201 0.70274,-0.719667 0.4318,-0.262467 0.9144,-0.262467 0.4826,0 0.82973,0.143933 0.3556,0.135467 0.5334,0.338667 l -0.0423,0.110067 0.127,-0.4064 h 1.0922 v 3.699934 q 0,0.541867 -0.3048,0.956734 -0.3048,0.423334 -0.8128,0.6604 -0.49954,0.245534 -1.10914,0.245534 z m -1.00753,-3.767668 q 0,0.296333 0.13547,0.5334 0.13546,0.237067 0.36406,0.372533 0.23707,0.135467 0.52494,0.135467 0.24553,0 0.4318,-0.05927 0.19473,-0.06773 0.33866,-0.186266 0.1524,-0.127 0.254,-0.313267 V 26.86521 q -0.0762,-0.186267 -0.2286,-0.313267 -0.1524,-0.135466 -0.3556,-0.2032 -0.19473,-0.0762 -0.44026,-0.0762 -0.28787,0 -0.52494,0.135467 -0.2286,0.127 -0.36406,0.3556 -0.13547,0.2286 -0.13547,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path476" />
|
||||||
|
<path
|
||||||
|
d="m 188.12442,27.29701 q 0,-0.567267 0.26246,-1.016 0.27094,-0.448734 0.75354,-0.702734 0.4826,-0.262466 1.10913,-0.262466 0.635,0 1.10067,0.262466 0.46566,0.254 0.7112,0.702734 0.254,0.448733 0.254,1.016 0,0.567267 -0.254,1.024467 -0.24554,0.448734 -0.7112,0.711201 -0.46567,0.262466 -1.1176,0.262466 -0.6096,0 -1.0922,-0.237066 -0.47414,-0.237067 -0.74507,-0.685801 -0.27093,-0.448733 -0.27093,-1.075267 z m 1.1938,0.0085 q 0,0.287867 0.11853,0.524934 0.11853,0.2286 0.32173,0.364066 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135466 0.31327,-0.364066 0.11007,-0.237067 0.11007,-0.524934 0,-0.296333 -0.11007,-0.524934 -0.11007,-0.2286 -0.31327,-0.364066 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.2032,0.135466 -0.32173,0.364066 -0.11853,0.228601 -0.11853,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path478" />
|
||||||
|
<path
|
||||||
|
d="m 194.31354,25.49361 0.11007,1.016 -0.0254,-0.1524 q 0.16087,-0.3302 0.44027,-0.5588 0.2794,-0.237067 0.55033,-0.364067 0.2794,-0.127 0.42333,-0.127 l -0.0593,1.185334 q -0.41487,-0.0508 -0.7112,0.135466 -0.29634,0.186267 -0.4572,0.491067 -0.16087,0.3048 -0.16087,0.626534 v 1.4478 h -1.17687 V 25.49361 Z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path480" />
|
||||||
|
<path
|
||||||
|
d="m 197.01441,30.971545 2.4638,-5.477935 h 1.0668 l -2.3876,5.477935 z m 0.9906,-1.761067 -1.81187,-3.716868 h 1.32927 l 1.397,3.124201 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path482" />
|
||||||
|
<path
|
||||||
|
d="m 162.51697,37.880348 q 0,-0.567267 0.26247,-1.016001 0.27093,-0.448733 0.75353,-0.702733 0.4826,-0.262467 1.10914,-0.262467 0.635,0 1.10066,0.262467 0.46567,0.254 0.7112,0.702733 0.254,0.448734 0.254,1.016001 0,0.567267 -0.254,1.024467 -0.24553,0.448733 -0.7112,0.7112 -0.46566,0.262467 -1.1176,0.262467 -0.6096,0 -1.0922,-0.237067 -0.47413,-0.237067 -0.74506,-0.6858 -0.27094,-0.448734 -0.27094,-1.075267 z m 1.1938,0.0085 q 0,0.287866 0.11854,0.524933 0.11853,0.2286 0.32173,0.364067 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135467 0.31327,-0.364067 0.11006,-0.237067 0.11006,-0.524933 0,-0.296334 -0.11006,-0.524934 -0.11007,-0.2286 -0.31327,-0.364067 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.2032,0.135467 -0.32173,0.364067 -0.11854,0.2286 -0.11854,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path484" />
|
||||||
|
<path
|
||||||
|
d="m 167.9949,39.776882 v -2.667001 h -0.62653 v -1.049867 h 0.62653 V 34.77308 q 0,-0.728134 0.41487,-1.185334 0.42333,-0.465667 1.2192,-0.465667 0.23707,0 0.52493,0.0762 0.29634,0.06773 0.51647,0.2286 l -0.49953,0.855134 q -0.0847,-0.110067 -0.2032,-0.143933 -0.11007,-0.04233 -0.21167,-0.04233 -0.254,0 -0.41487,0.169334 -0.16087,0.169333 -0.16087,0.541867 v 1.253067 h 1.11761 v 1.049867 h -1.11761 v 2.667001 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path486" />
|
||||||
|
<path
|
||||||
|
d="m 175.14924,36.076947 0.0931,0.651934 -0.0169,-0.0508 q 0.22013,-0.372534 0.55033,-0.575734 0.3302,-0.211667 0.79587,-0.211667 0.3048,0 0.5334,0.08467 0.23707,0.08467 0.39793,0.254 0.16087,0.160867 0.22014,0.423334 l -0.0423,0.0085 q 0.23707,-0.347133 0.56727,-0.5588 0.33867,-0.211667 0.70273,-0.211667 0.55034,0 0.87207,0.313267 0.3302,0.3048 0.33867,0.795867 v 2.777068 h -1.17687 v -2.286001 q -0.008,-0.245533 -0.0762,-0.397933 -0.0677,-0.160867 -0.31327,-0.177801 -0.28786,0 -0.49106,0.203201 -0.19474,0.194733 -0.29634,0.508 -0.0931,0.3048 -0.0931,0.635 v 1.515534 h -1.18533 v -2.286001 q -0.008,-0.245533 -0.0931,-0.397933 -0.0762,-0.160867 -0.32173,-0.177801 -0.2794,0 -0.47413,0.203201 -0.18627,0.194733 -0.28787,0.499533 -0.0931,0.3048 -0.0931,0.626534 v 1.532467 h -1.18534 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path488" />
|
||||||
|
<path
|
||||||
|
d="m 181.09285,37.880348 q 0,-0.567267 0.26247,-1.016001 0.27093,-0.448733 0.75353,-0.702733 0.4826,-0.262467 1.10913,-0.262467 0.635,0 1.10067,0.262467 0.46567,0.254 0.7112,0.702733 0.254,0.448734 0.254,1.016001 0,0.567267 -0.254,1.024467 -0.24553,0.448733 -0.7112,0.7112 -0.46567,0.262467 -1.1176,0.262467 -0.6096,0 -1.0922,-0.237067 -0.47413,-0.237067 -0.74507,-0.6858 -0.27093,-0.448734 -0.27093,-1.075267 z m 1.1938,0.0085 q 0,0.287866 0.11853,0.524933 0.11854,0.2286 0.32174,0.364067 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135467 0.31326,-0.364067 0.11007,-0.237067 0.11007,-0.524933 0,-0.296334 -0.11007,-0.524934 -0.11006,-0.2286 -0.31326,-0.364067 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.2032,0.135467 -0.32174,0.364067 -0.11853,0.2286 -0.11853,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path490" />
|
||||||
|
<path
|
||||||
|
d="m 187.72224,39.878482 q -0.51646,0 -0.92286,-0.237067 -0.4064,-0.245533 -0.64347,-0.702733 -0.2286,-0.457201 -0.2286,-1.083734 0,-0.626534 0.254,-1.066801 0.254,-0.440266 0.69427,-0.668867 0.44026,-0.2286 0.99906,-0.2286 0.3556,0 0.67734,0.110067 0.3302,0.110067 0.55033,0.338667 v 0.372533 -3.615268 h 1.17687 v 6.680203 h -1.18534 v -0.719667 l 0.0931,0.254 q -0.28787,0.237067 -0.64347,0.4064 -0.3556,0.160867 -0.82127,0.160867 z m 0.38947,-0.999067 q 0.23707,0 0.41487,-0.05927 0.18626,-0.06773 0.32173,-0.186267 0.14393,-0.127 0.24553,-0.313266 v -0.905934 q -0.0677,-0.186267 -0.21166,-0.313267 -0.13547,-0.135467 -0.33867,-0.2032 -0.19473,-0.0762 -0.4318,-0.0762 -0.26247,0 -0.49107,0.135467 -0.22013,0.127 -0.3556,0.3556 -0.13546,0.2286 -0.13546,0.524933 0,0.296334 0.13546,0.533401 0.13547,0.237066 0.3556,0.372533 0.2286,0.135467 0.49107,0.135467 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path492" />
|
||||||
|
<path
|
||||||
|
d="m 193.31872,39.878482 q -0.67734,0 -1.15147,-0.254 -0.46567,-0.254 -0.7112,-0.702734 -0.24553,-0.448733 -0.24553,-1.032933 0,-0.558801 0.28786,-1.007534 0.28787,-0.448734 0.77047,-0.711201 0.4826,-0.270933 1.07527,-0.270933 0.79587,0 1.30387,0.465667 0.51646,0.4572 0.66886,1.329267 l -2.87867,0.9144 -0.26246,-0.643466 2.0828,-0.702734 -0.24553,0.110067 q -0.0677,-0.220134 -0.24554,-0.381001 -0.16933,-0.169333 -0.51647,-0.169333 -0.26246,0 -0.46566,0.127 -0.19474,0.118534 -0.3048,0.347134 -0.1016,0.220133 -0.1016,0.524933 0,0.347134 0.127,0.5842 0.127,0.2286 0.34713,0.347134 0.22013,0.118533 0.49107,0.118533 0.19473,0 0.37253,-0.06773 0.18627,-0.06773 0.36407,-0.1778 l 0.52493,0.880533 q -0.29633,0.169334 -0.64346,0.270934 -0.33867,0.1016 -0.64347,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path494" />
|
||||||
|
<path
|
||||||
|
d="m 196.18045,33.096679 h 1.18533 v 6.680203 h -1.18533 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path496" />
|
||||||
|
<path
|
||||||
|
d="m 199.78725,39.853082 q -0.4572,0 -0.85513,-0.160867 -0.38947,-0.160866 -0.6604,-0.448733 l 0.49107,-0.651934 q 0.27093,0.245534 0.49953,0.3556 0.23707,0.1016 0.42333,0.1016 0.14394,0 0.254,-0.0254 0.11854,-0.03387 0.18627,-0.09313 0.0677,-0.06773 0.0677,-0.169333 0,-0.143934 -0.11853,-0.228601 -0.11007,-0.08467 -0.28787,-0.135466 -0.1778,-0.05927 -0.381,-0.118534 -0.508,-0.160866 -0.7366,-0.465667 -0.22013,-0.313266 -0.22013,-0.677333 0,-0.2794 0.14393,-0.5588 0.1524,-0.287867 0.47414,-0.474134 0.3302,-0.194733 0.84666,-0.194733 0.46567,0 0.7874,0.09313 0.32174,0.09313 0.6096,0.3048 l -0.44873,0.694267 q -0.16087,-0.127 -0.36407,-0.211667 -0.19473,-0.09313 -0.36406,-0.1016 -0.1524,-0.0085 -0.26247,0.03387 -0.1016,0.04233 -0.16087,0.110067 -0.0593,0.06773 -0.0593,0.143933 -0.008,0.160867 0.11853,0.254 0.13547,0.09313 0.33867,0.143934 0.2032,0.0508 0.39793,0.118533 0.27093,0.08467 0.46567,0.2286 0.19473,0.143934 0.29633,0.347134 0.11007,0.194733 0.11007,0.474133 0,0.338667 -0.1778,0.643467 -0.16934,0.296333 -0.52494,0.4826 -0.34713,0.186267 -0.889,0.186267 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path498" />
|
||||||
|
<path
|
||||||
|
d="m 170.14122,48.463685 q 0,-0.567267 0.26247,-1.016 0.27093,-0.448734 0.75353,-0.702734 0.4826,-0.262466 1.10913,-0.262466 0.635,0 1.10067,0.262466 0.46567,0.254 0.7112,0.702734 0.254,0.448733 0.254,1.016 0,0.567267 -0.254,1.024467 -0.24553,0.448734 -0.7112,0.711201 -0.46567,0.262467 -1.1176,0.262467 -0.6096,0 -1.0922,-0.237067 -0.47413,-0.237067 -0.74507,-0.685801 -0.27093,-0.448733 -0.27093,-1.075267 z m 1.1938,0.0085 q 0,0.287867 0.11853,0.524934 0.11854,0.2286 0.32174,0.364066 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135466 0.31326,-0.364066 0.11007,-0.237067 0.11007,-0.524934 0,-0.296333 -0.11007,-0.524933 -0.11006,-0.228601 -0.31326,-0.364067 -0.2032,-0.135467 -0.4826,-0.135467 -0.254,0 -0.4572,0.135467 -0.2032,0.135466 -0.32174,0.364067 -0.11853,0.2286 -0.11853,0.524933 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path500" />
|
||||||
|
<path
|
||||||
|
d="m 175.61915,50.360219 v -2.667001 h -0.62654 v -1.049867 h 0.62654 v -1.286934 q 0,-0.728133 0.41486,-1.185333 0.42334,-0.465667 1.21921,-0.465667 0.23706,0 0.52493,0.0762 0.29633,0.06773 0.51647,0.2286 l -0.49954,0.855134 q -0.0847,-0.110067 -0.2032,-0.143934 -0.11006,-0.04233 -0.21166,-0.04233 -0.254,0 -0.41487,0.169333 -0.16087,0.169334 -0.16087,0.541867 v 1.253067 h 1.1176 v 1.049867 h -1.1176 v 2.667001 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path502" />
|
||||||
|
<path
|
||||||
|
d="m 182.04535,45.034684 h 1.18534 v 1.608667 h 0.89746 v 0.922867 h -0.89746 v 2.794001 h -1.18534 v -2.794001 h -0.57573 v -0.922867 h 0.57573 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path504" />
|
||||||
|
<path
|
||||||
|
d="m 185.03408,50.360219 v -6.680202 h 1.15993 v 3.725335 l -0.008,-0.143934 q 0.19473,-0.347133 0.55033,-0.5588 0.3556,-0.220133 0.87207,-0.220133 0.52493,0 0.87206,0.313266 0.3556,0.304801 0.36407,0.795867 v 2.768601 h -1.18533 v -2.328334 q -0.008,-0.245533 -0.13547,-0.389467 -0.11853,-0.1524 -0.4064,-0.1524 -0.27093,0 -0.47413,0.1778 -0.2032,0.1778 -0.31327,0.482601 -0.11007,0.3048 -0.11007,0.702733 v 1.507067 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path506" />
|
||||||
|
<path
|
||||||
|
d="m 191.88361,50.46182 q -0.67733,0 -1.15146,-0.254001 -0.46567,-0.254 -0.7112,-0.702733 -0.24554,-0.448734 -0.24554,-1.032934 0,-0.5588 0.28787,-1.007534 0.28787,-0.448733 0.77047,-0.7112 0.4826,-0.270933 1.07526,-0.270933 0.79587,0 1.30387,0.465666 0.51647,0.457201 0.66887,1.329268 l -2.87867,0.9144 -0.26247,-0.643467 2.0828,-0.702734 -0.24553,0.110067 q -0.0677,-0.220133 -0.24553,-0.381 -0.16934,-0.169333 -0.51647,-0.169333 -0.26247,0 -0.46567,0.127 -0.19473,0.118533 -0.3048,0.347133 -0.1016,0.220134 -0.1016,0.524934 0,0.347133 0.127,0.5842 0.127,0.2286 0.34714,0.347133 0.22013,0.118534 0.49106,0.118534 0.19474,0 0.37254,-0.06773 0.18626,-0.06773 0.36406,-0.1778 l 0.52494,0.880534 q -0.29634,0.169333 -0.64347,0.270933 -0.33867,0.101601 -0.64347,0.101601 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path508" />
|
||||||
|
<path
|
||||||
|
d="M 158.08467,55.618022 H 159.27 v 1.608667 h 0.89747 v 0.922867 H 159.27 v 2.794001 h -1.18533 v -2.794001 h -0.57573 v -0.922867 h 0.57573 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path510" />
|
||||||
|
<path
|
||||||
|
d="m 162.1402,57.243622 0.11006,1.016001 -0.0254,-0.1524 q 0.16087,-0.330201 0.44027,-0.558801 0.2794,-0.237066 0.55033,-0.364066 0.2794,-0.127001 0.42334,-0.127001 l -0.0593,1.185334 q -0.41487,-0.0508 -0.7112,0.135467 -0.29633,0.186267 -0.4572,0.491067 -0.16087,0.3048 -0.16087,0.626533 v 1.447801 h -1.17686 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path512" />
|
||||||
|
<path
|
||||||
|
d="m 165.9756,61.045157 q -0.51646,0 -0.9398,-0.2032 -0.41487,-0.211667 -0.6604,-0.643467 -0.24553,-0.4318 -0.24553,-1.100667 0,-0.626534 0.254,-1.083734 0.254,-0.4572 0.66886,-0.702733 0.41487,-0.254001 0.88054,-0.254001 0.55033,0 0.82973,0.186267 0.28787,0.1778 0.47414,0.397934 l -0.0508,0.143933 0.11006,-0.541867 h 1.10067 v 3.699935 h -1.18533 v -0.804334 l 0.0931,0.254 q -0.0169,0 -0.1016,0.101601 -0.0847,0.09313 -0.254,0.2286 -0.16087,0.127 -0.4064,0.220133 -0.23707,0.1016 -0.56727,0.1016 z m 0.33867,-0.9652 q 0.21167,0 0.381,-0.05927 0.16933,-0.06773 0.29633,-0.186267 0.127,-0.127 0.22014,-0.313267 v -0.905933 q -0.0677,-0.186267 -0.2032,-0.313267 -0.13547,-0.135467 -0.32174,-0.2032 -0.18626,-0.0762 -0.41486,-0.0762 -0.254,0 -0.47414,0.135467 -0.21166,0.127 -0.33866,0.3556 -0.12701,0.2286 -0.12701,0.524933 0,0.296334 0.13547,0.5334 0.13547,0.237067 0.3556,0.372534 0.2286,0.135467 0.49107,0.135467 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path514" />
|
||||||
|
<path
|
||||||
|
d="m 170.69154,57.243622 0.0931,0.6604 -0.0169,-0.05927 q 0.19473,-0.347134 0.55033,-0.5588 0.3556,-0.220134 0.87207,-0.220134 0.52493,0 0.87207,0.313267 0.3556,0.3048 0.36406,0.795867 v 2.768601 h -1.18533 v -2.328334 q -0.008,-0.245534 -0.13547,-0.389467 -0.11853,-0.1524 -0.4064,-0.1524 -0.27093,0 -0.47413,0.1778 -0.2032,0.1778 -0.31327,0.4826 -0.11006,0.3048 -0.11006,0.702734 v 1.507067 h -1.18534 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path516" />
|
||||||
|
<path
|
||||||
|
d="m 175.84774,61.019757 q -0.4572,0 -0.85513,-0.160867 -0.38947,-0.160866 -0.6604,-0.448733 l 0.49106,-0.651934 q 0.27094,0.245534 0.49954,0.3556 0.23706,0.1016 0.42333,0.1016 0.14393,0 0.254,-0.0254 0.11853,-0.03387 0.18627,-0.09313 0.0677,-0.06773 0.0677,-0.169333 0,-0.143934 -0.11853,-0.2286 -0.11007,-0.08467 -0.28787,-0.135467 -0.1778,-0.05927 -0.381,-0.118534 -0.508,-0.160866 -0.7366,-0.465666 -0.22013,-0.313267 -0.22013,-0.677334 0,-0.2794 0.14393,-0.5588 0.1524,-0.287867 0.47413,-0.474134 0.3302,-0.194733 0.84667,-0.194733 0.46567,0 0.7874,0.09313 0.32173,0.09313 0.6096,0.3048 l -0.44873,0.694267 q -0.16087,-0.127 -0.36407,-0.211666 -0.19473,-0.09313 -0.36407,-0.101601 -0.1524,-0.0085 -0.26246,0.03387 -0.1016,0.04233 -0.16087,0.110067 -0.0593,0.06773 -0.0593,0.143933 -0.008,0.160867 0.11854,0.254 0.13546,0.09313 0.33866,0.143934 0.2032,0.0508 0.39794,0.118533 0.27093,0.08467 0.46566,0.2286 0.19474,0.143934 0.29634,0.347134 0.11006,0.194733 0.11006,0.474133 0,0.338667 -0.1778,0.643467 -0.16933,0.296334 -0.52493,0.4826 -0.34713,0.186267 -0.889,0.186267 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path518" />
|
||||||
|
<path
|
||||||
|
d="m 178.78568,60.943557 v -2.667001 h -0.62653 v -1.049867 h 0.62653 v -1.286934 q 0,-0.728134 0.41487,-1.185334 0.42333,-0.465667 1.2192,-0.465667 0.23706,0 0.52493,0.0762 0.29633,0.06773 0.51647,0.2286 l -0.49954,0.855134 q -0.0847,-0.110067 -0.2032,-0.143933 -0.11006,-0.04233 -0.21166,-0.04233 -0.254,0 -0.41487,0.169334 -0.16087,0.169333 -0.16087,0.541867 v 1.253067 h 1.1176 v 1.049867 h -1.1176 v 2.667001 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path520" />
|
||||||
|
<path
|
||||||
|
d="m 181.57122,59.047023 q 0,-0.567267 0.26247,-1.016 0.27093,-0.448734 0.75353,-0.702734 0.4826,-0.262467 1.10913,-0.262467 0.635,0 1.10067,0.262467 0.46567,0.254 0.7112,0.702734 0.254,0.448733 0.254,1.016 0,0.567267 -0.254,1.024467 -0.24553,0.448734 -0.7112,0.7112 -0.46567,0.262467 -1.1176,0.262467 -0.6096,0 -1.0922,-0.237067 -0.47413,-0.237066 -0.74507,-0.6858 -0.27093,-0.448733 -0.27093,-1.075267 z m 1.1938,0.0085 q 0,0.287866 0.11853,0.524933 0.11854,0.2286 0.32174,0.364067 0.2032,0.135467 0.4572,0.135467 0.2794,0 0.4826,-0.135467 0.2032,-0.135467 0.31326,-0.364067 0.11007,-0.237067 0.11007,-0.524933 0,-0.296334 -0.11007,-0.524934 -0.11006,-0.2286 -0.31326,-0.364067 -0.2032,-0.135466 -0.4826,-0.135466 -0.254,0 -0.4572,0.135466 -0.2032,0.135467 -0.32174,0.364067 -0.11853,0.2286 -0.11853,0.524934 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path522" />
|
||||||
|
<path
|
||||||
|
d="m 187.76035,57.243622 0.11007,1.016001 -0.0254,-0.1524 q 0.16086,-0.330201 0.44026,-0.558801 0.2794,-0.237066 0.55034,-0.364066 0.2794,-0.127001 0.42333,-0.127001 l -0.0593,1.185334 q -0.41486,-0.0508 -0.7112,0.135467 -0.29633,0.186267 -0.4572,0.491067 -0.16086,0.3048 -0.16086,0.626533 v 1.447801 h -1.17687 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path524" />
|
||||||
|
<path
|
||||||
|
d="m 191.24015,57.243622 0.0931,0.651934 -0.0169,-0.0508 q 0.22013,-0.372534 0.55033,-0.575734 0.3302,-0.211667 0.79587,-0.211667 0.3048,0 0.5334,0.08467 0.23707,0.08467 0.39793,0.254 0.16087,0.160867 0.22014,0.423334 l -0.0423,0.0085 q 0.23707,-0.347133 0.56727,-0.5588 0.33867,-0.211667 0.70273,-0.211667 0.55034,0 0.87207,0.313267 0.3302,0.3048 0.33867,0.795867 v 2.777068 h -1.17687 v -2.286001 q -0.008,-0.245533 -0.0762,-0.397933 -0.0677,-0.160867 -0.31327,-0.1778 -0.28786,0 -0.49106,0.2032 -0.19474,0.194733 -0.29634,0.508 -0.0931,0.3048 -0.0931,0.635 v 1.515534 h -1.18533 v -2.286001 q -0.008,-0.245533 -0.0931,-0.397933 -0.0762,-0.160867 -0.32173,-0.1778 -0.2794,0 -0.47414,0.2032 -0.18626,0.194733 -0.28786,0.499533 -0.0931,0.3048 -0.0931,0.626534 v 1.532467 h -1.18533 v -3.699935 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path526" />
|
||||||
|
<path
|
||||||
|
d="m 199.29196,61.045157 q -0.67734,0 -1.15147,-0.254 -0.46567,-0.254 -0.7112,-0.702734 -0.24553,-0.448733 -0.24553,-1.032933 0,-0.558801 0.28786,-1.007534 0.28787,-0.448734 0.77047,-0.7112 0.4826,-0.270934 1.07527,-0.270934 0.79587,0 1.30387,0.465667 0.51646,0.4572 0.66886,1.329267 l -2.87867,0.914401 -0.26246,-0.643467 2.0828,-0.702734 -0.24553,0.110067 q -0.0677,-0.220134 -0.24554,-0.381 -0.16933,-0.169334 -0.51646,-0.169334 -0.26247,0 -0.46567,0.127 -0.19474,0.118534 -0.3048,0.347134 -0.1016,0.220133 -0.1016,0.524933 0,0.347134 0.127,0.5842 0.127,0.228601 0.34713,0.347134 0.22014,0.118533 0.49107,0.118533 0.19473,0 0.37253,-0.06773 0.18627,-0.06773 0.36407,-0.1778 l 0.52493,0.880534 q -0.29633,0.169333 -0.64346,0.270933 -0.33867,0.1016 -0.64347,0.1016 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path528" />
|
||||||
|
<path
|
||||||
|
d="m 203.66076,61.045157 q -0.51647,0 -0.92287,-0.237067 -0.4064,-0.245533 -0.64347,-0.702733 -0.2286,-0.4572 -0.2286,-1.083734 0,-0.626534 0.254,-1.0668 0.254,-0.440267 0.69427,-0.668867 0.44027,-0.228601 0.99907,-0.228601 0.3556,0 0.67733,0.110067 0.3302,0.110067 0.55033,0.338667 v 0.372533 -3.615268 h 1.17687 v 6.680203 h -1.18533 V 60.22389 l 0.0931,0.254 q -0.28787,0.237067 -0.64347,0.4064 -0.3556,0.160867 -0.82126,0.160867 z m 0.38946,-0.999067 q 0.23707,0 0.41487,-0.05927 0.18627,-0.06773 0.32173,-0.186266 0.14394,-0.127 0.24554,-0.313267 v -0.905934 q -0.0677,-0.186267 -0.21167,-0.313267 -0.13547,-0.135466 -0.33867,-0.2032 -0.19473,-0.0762 -0.4318,-0.0762 -0.26246,0 -0.49106,0.135467 -0.22014,0.127 -0.3556,0.3556 -0.13547,0.2286 -0.13547,0.524934 0,0.296333 0.13547,0.5334 0.13546,0.237067 0.3556,0.372533 0.2286,0.135467 0.49106,0.135467 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path530" />
|
||||||
|
<path
|
||||||
|
d="m 179.43763,70.900361 q -0.11007,0.118533 -0.34714,0.245533 -0.23706,0.118534 -0.55033,0.220134 -0.3048,0.1016 -0.62654,0.160867 -0.32173,0.06773 -0.6096,0.06773 -0.762,0 -1.3716,-0.220133 -0.6096,-0.228601 -1.0414,-0.626534 -0.4318,-0.4064 -0.6604,-0.956734 -0.2286,-0.550333 -0.2286,-1.202267 0,-0.855134 0.254,-1.481667 0.26247,-0.635 0.70274,-1.049867 0.44873,-0.423334 1.02446,-0.626534 0.5842,-0.2032 1.2192,-0.2032 0.60114,0 1.10067,0.135467 0.49954,0.127 0.84667,0.321733 l -0.39793,1.143001 q -0.1524,-0.08467 -0.4064,-0.169334 -0.254,-0.08467 -0.51647,-0.135466 -0.26247,-0.05927 -0.46567,-0.05927 -0.508,0 -0.89747,0.127 -0.38946,0.127 -0.6604,0.381 -0.26246,0.254 -0.39793,0.635 -0.13547,0.372534 -0.13547,0.872067 0,0.440267 0.1524,0.795867 0.1524,0.347134 0.42334,0.592667 0.2794,0.245534 0.65193,0.372534 0.381,0.127 0.8382,0.127 0.26247,0 0.4826,-0.03387 0.22014,-0.04233 0.37254,-0.127 V 69.45256 h -1.07527 v -1.185333 h 2.31987 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path532" />
|
||||||
|
<path
|
||||||
|
d="m 180.13189,71.526895 2.81093,-6.477003 h 0.0677 l 2.81094,6.477003 h -1.4224 l -1.79494,-4.555069 0.889,-0.6096 -2.15053,5.164669 z m 1.92193,-2.252135 h 1.87113 l 0.4318,1.032934 h -2.68393 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path534" />
|
||||||
|
<path
|
||||||
|
d="m 185.79607,65.295425 h 4.19947 v 1.185334 H 188.48 v 5.046136 h -1.22766 v -5.046136 h -1.45627 z"
|
||||||
|
style="text-align:center;text-anchor:middle"
|
||||||
|
id="path536" />
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
<g
|
||||||
|
id="g1654"
|
||||||
|
transform="translate(0,-1.5357037)">
|
||||||
|
<path
|
||||||
|
style="opacity:0.75462;fill:none;fill-opacity:1;stroke:#000000;stroke-width:1.17271;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart)"
|
||||||
|
d="m 90.341106,34.26352 c 0,0 13.325584,-3.395537 21.129024,-3.396158 7.80344,-6.21e-4 21.87109,3.396158 21.87109,3.396158"
|
||||||
|
id="path1372"
|
||||||
|
inkscape:transform-center-x="0.60034168"
|
||||||
|
inkscape:transform-center-y="1.6496774"
|
||||||
|
sodipodi:nodetypes="czc" />
|
||||||
|
<path
|
||||||
|
style="opacity:0.75462;fill:none;fill-opacity:1;stroke:#000000;stroke-width:1.17271;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart)"
|
||||||
|
d="m 137.24448,65.507686 c 0,0 -13.32558,3.395537 -21.12902,3.396158 -7.80344,6.21e-4 -21.871094,-3.396158 -21.871094,-3.396158"
|
||||||
|
id="path1644"
|
||||||
|
inkscape:transform-center-x="-0.60033982"
|
||||||
|
inkscape:transform-center-y="-1.6496775"
|
||||||
|
sodipodi:nodetypes="czc" />
|
||||||
|
</g>
|
||||||
|
<g
|
||||||
|
aria-label="G"
|
||||||
|
id="text1666"
|
||||||
|
style="font-weight:bold;font-size:8.46667px;font-family:'Josefin Sans';-inkscape-font-specification:'Josefin Sans Bold';text-align:center;text-anchor:middle;opacity:0.75462;stroke-width:1.296">
|
||||||
|
<path
|
||||||
|
d="m 116.51059,26.630018 q -0.11006,0.118534 -0.34713,0.245534 -0.23707,0.118533 -0.55033,0.220133 -0.3048,0.1016 -0.62654,0.160867 -0.32173,0.06773 -0.6096,0.06773 -0.762,0 -1.3716,-0.220133 -0.6096,-0.2286 -1.0414,-0.626534 -0.4318,-0.4064 -0.6604,-0.956734 -0.2286,-0.550333 -0.2286,-1.202267 0,-0.855133 0.254,-1.481667 0.26247,-0.635 0.70274,-1.049867 0.44873,-0.423334 1.02446,-0.626534 0.5842,-0.2032 1.2192,-0.2032 0.60114,0 1.10067,0.135467 0.49953,0.127 0.84667,0.321733 l -0.39794,1.143001 q -0.1524,-0.08467 -0.4064,-0.169334 -0.254,-0.08467 -0.51646,-0.135466 -0.26247,-0.05927 -0.46567,-0.05927 -0.508,0 -0.89747,0.127 -0.38946,0.127 -0.6604,0.381 -0.26246,0.254 -0.39793,0.635001 -0.13547,0.372533 -0.13547,0.872067 0,0.440266 0.1524,0.795867 0.1524,0.347133 0.42334,0.592666 0.2794,0.245534 0.65193,0.372534 0.381,0.127 0.8382,0.127 0.26247,0 0.4826,-0.03387 0.22013,-0.04233 0.37253,-0.127 v -0.753533 h -1.07526 v -1.185334 h 2.31986 z"
|
||||||
|
id="path539" />
|
||||||
|
</g>
|
||||||
|
<g
|
||||||
|
aria-label="F"
|
||||||
|
id="text1666-7"
|
||||||
|
style="font-weight:bold;font-size:8.46667px;font-family:'Josefin Sans';-inkscape-font-specification:'Josefin Sans Bold';text-align:center;text-anchor:middle;opacity:0.75462;stroke-width:1.296">
|
||||||
|
<path
|
||||||
|
d="m 111.84546,69.042068 h 3.89467 v 1.185333 h -2.667 v 1.413934 h 2.3114 v 1.185334 h -2.3114 v 2.446868 h -1.22767 z"
|
||||||
|
id="path542" />
|
||||||
|
</g>
|
||||||
|
<g
|
||||||
|
aria-label="⊢"
|
||||||
|
transform="rotate(-90)"
|
||||||
|
id="text374"
|
||||||
|
style="font-weight:bold;font-size:9.09966px;font-family:'Josefin Sans';-inkscape-font-specification:'Josefin Sans Bold';text-align:center;text-anchor:middle;opacity:0.75462;stroke:#000000;stroke-width:1.07046">
|
||||||
|
<path
|
||||||
|
d="m -51.731169,110.58481 h 0.959729 v 2.72812 h 5.802811 v 0.95973 h -5.802811 v 2.72812 h -0.959729 z"
|
||||||
|
id="path370" />
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 48 KiB |
@ -19,13 +19,14 @@
|
|||||||
\usepackage{xparse}
|
\usepackage{xparse}
|
||||||
\usepackage{cprotect}
|
\usepackage{cprotect}
|
||||||
\usepackage{xpatch}
|
\usepackage{xpatch}
|
||||||
\usepackage{enumitem}
|
|
||||||
\usepackage{amsmath}
|
\usepackage{amsmath}
|
||||||
\usepackage{amsfonts}
|
\usepackage{amsfonts}
|
||||||
\usepackage{mathtools}
|
\usepackage{mathtools}
|
||||||
\usepackage{txfonts}
|
\usepackage{txfonts}
|
||||||
\usepackage{yade}
|
\usepackage{yade}
|
||||||
\usepackage{environ}
|
\usepackage{environ}
|
||||||
|
\usepackage{pifont}
|
||||||
|
\usepackage{transparent}
|
||||||
\usepackage[backend=biber,style=numeric]{biblatex}
|
\usepackage[backend=biber,style=numeric]{biblatex}
|
||||||
\usepackage{hyperref}
|
\usepackage{hyperref}
|
||||||
\usepackage{array}
|
\usepackage{array}
|
||||||
@ -87,6 +88,7 @@
|
|||||||
\newcommand\Cat{{\ensuremath{\operatorname{\mathcal{C}at}}}}
|
\newcommand\Cat{{\ensuremath{\operatorname{\mathcal{C}at}}}}
|
||||||
\newcommand\Set{{\ensuremath{\operatorname{\mathcal{S}et}}}}
|
\newcommand\Set{{\ensuremath{\operatorname{\mathcal{S}et}}}}
|
||||||
\newcommand\FamSet{{\ensuremath{\operatorname{\mathcal{F}am\mathcal{S}et}}}}
|
\newcommand\FamSet{{\ensuremath{\operatorname{\mathcal{F}am\mathcal{S}et}}}}
|
||||||
|
\newcommand\Obj{{\ensuremath{\operatorname{\mathcal{O}bj}}}}
|
||||||
\newcommand\Hom{{\ensuremath{\operatorname{\mathcal{H}om}}}}
|
\newcommand\Hom{{\ensuremath{\operatorname{\mathcal{H}om}}}}
|
||||||
\newcommand\this{{\ensuremath{\operatorname{\texttt{this}}}}}
|
\newcommand\this{{\ensuremath{\operatorname{\texttt{this}}}}}
|
||||||
\newcommand\one{{\ensuremath{\mathbf{1}}}}
|
\newcommand\one{{\ensuremath{\mathbf{1}}}}
|
||||||
|
|||||||
@ -1,5 +1,5 @@
|
|||||||
{
|
{
|
||||||
"watchedFile": "M2Report.tex",
|
"watchedFile": "M2Diapo.tex",
|
||||||
"baseDir": "graphs",
|
"baseDir": "graphs",
|
||||||
"externalOutput": true,
|
"externalOutput": true,
|
||||||
"preambleFile": "yade-preamble.tex"
|
"preambleFile": "yade-preamble.tex"
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user