josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed typo

Browse source
This commit is contained in:
Josia Pietsch 2024-01-29 19:19:13 +01:00
parent 8f86b71d92
commit de8e41de83
Signed by: josia
GPG key ID: E70B571D66986A2D
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
inputs/lecture_15.tex
View file

@ -255,7 +255,7 @@ Recall:
\begin{definition} \begin{definition}
Let $\Sigma = \{(X_i, T) : i \in I\} $ Let $\Sigma = \{(X_i, T) : i \in I\} $
be a collection of factors of $(X,T)$. % TODO State precise definition of a factor be a collection of factors of $(X,T)$. % TODO State precise definition of a factor
Let $\pi_i\colon (X,T) \to (X_i, T)$ denote the factor map. Let $\pi_i\colon (X,T) \to (X_i, T)$ denote the factor maps.
Then $(X, T)$ is the \vocab{limit} of $\Sigma$ Then $(X, T)$ is the \vocab{limit} of $\Sigma$
iff iff
\[ \[

1
inputs/lecture_17.tex
View file

@ -169,6 +169,7 @@ In particular,
for $x \in X$ and $\overline{Tx} = Y$ for $x \in X$ and $\overline{Tx} = Y$
we have that $(Y,T)$ is a flow. we have that $(Y,T)$ is a flow.
However if we pick $y \in Y$, $Ty$ might not be dense. However if we pick $y \in Y$, $Ty$ might not be dense.
% TODO: question!
% TODO: think about this! % TODO: think about this!
% We want to a minimal subflow in a nice way: % We want to a minimal subflow in a nice way: