Minor fixes when walking through the PDF

utensil · Jul 4, 2024 · 929c370 · 929c370
1 parent efbe68c
commit 929c370
Show file tree

Hide file tree

Showing 12 changed files with 11 additions and 14 deletions.
diff --git a/tex/preamble.tex b/tex/preamble.tex
@@ -129,7 +129,7 @@
 	innerbottommargin=9pt,
 	skipbelow=2pt,
 	innermargin=2em,
-	% nobreak=true,
+	nobreak=true,
 	usetwoside=false,
 	linecolor=blue,
 	backgroundcolor=TealBlue!5,
@@ -151,6 +151,7 @@
 	innertopmargin=4ex,
 	innerbottommargin=8pt,
 	innermargin=2em,
+	% tt-002B is too tall
 	% nobreak=true,
 	linecolor=RawSienna,
 	backgroundcolor=Salmon!5,
@@ -171,7 +172,7 @@
 	topline=false,
 	bottomline=false,
 	innermargin=2em,
-	% nobreak=true,
+	nobreak=true,
 	linecolor=ForestGreen,
 	backgroundcolor=ForestGreen!5,
 	usetwoside=false,
@@ -218,7 +219,7 @@
 	bodyfont=\normalfont, %\small, %\sffamily,
 	% spaceabove=0pt,
 	% spacebelow=0pt,
-	headpunct={\\[3pt]}
+	headpunct={\\[3pt]},
 ]{def}
 
 \numberwithin{equation}{subsection}

diff --git a/trees/tt-0016.tree b/trees/tt-0016.tree
@@ -5,7 +5,7 @@
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof
 % discussion remark notation
-\taxon{example}\refdeft{special functors}{eq. 54}{kostecki2011introduction}{
+\taxon{example}\refnotet{special functors}{eq. 54}{kostecki2011introduction}{
 
 \p{
 The \newvocab{identity functor} #{\id_{\C}: \C \to \C} (denoted also by #{ 1_{\C}: \C \to \C}), defined by #{\id_{\C}(X)=X} and #{\id_{\C}(f)=f} for every #{X \in \Ob(\C)} and every #{f \in \Arr(\C)}.

diff --git a/trees/tt-0019.tree b/trees/tt-0019.tree
@@ -5,7 +5,7 @@
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof
 % discussion remark notation
-\taxon{example}\refdeft{full, faithful, preserve and reflect}{3.3}{kostecki2011introduction}{
+\taxon{example}\refnotet{full, faithful, preserve and reflect}{3.3}{kostecki2011introduction}{
 
 \p{Every inclusion functor is faithful.}
 

diff --git a/trees/tt-001G.tree b/trees/tt-001G.tree
@@ -273,7 +273,7 @@
   }
 
   \li{
-    \p{\newvocab{Naturality} in natural transformations is equivalent to the following equality:
+    \p{The \newvocab{naturality} in natural transformations is equivalent to the following equality:
     \tikz{
       \naturality/xfg#draw $=$ \naturality/xfgp#draw
     }

diff --git a/trees/tt-001H.tree b/trees/tt-001H.tree
@@ -14,7 +14,7 @@
 \p{We call #{F} and #{G} \newvocab{naturally isomorphic} to each other.
 }
 
-\p{We also say that #{F(X) \iso G(X)} \newvocab{naturally in} #{X} \citek{1.3.12}{leinster2016basic}.}
+\p{We also say that #{F(X) \iso G(X)} \newvocab{naturally in} #{X} \citet{1.3.12}{leinster2016basic}.}
 
 \p{Diagramatically, 
 \tikz{

diff --git a/trees/tt-0029.tree b/trees/tt-0029.tree
@@ -5,7 +5,7 @@
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof
 % discussion remark notation
-\taxon{example}\refdeft{a cone on a diagram}{4.9}{kostecki2011introduction}{
+\taxon{example}\refnotet{a cone on a diagram}{4.9}{kostecki2011introduction}{
 
 \p{The cone for a diagram
 

diff --git a/trees/tt-002B.tree b/trees/tt-002B.tree
@@ -5,7 +5,7 @@
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof
 % discussion remark notation
-\taxon{example}\refdeft{limits}{4.11, example 1-4}{kostecki2011introduction}{
+\taxon{example}\refnotet{limits}{4.11, example 1-4}{kostecki2011introduction}{
 
 \p{The [basic types of diagrams](tt-000P) are actually examples of \vocab{limits}:}
 

diff --git a/trees/tt-002Q.tree b/trees/tt-002Q.tree
@@ -1,7 +1,6 @@
 \import{tt-macros}
 % clifford hopf spin tt math draft
 \tag{tt}
-\tag{draft}
 
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof

diff --git a/trees/tt-002T.tree b/trees/tt-002T.tree
@@ -35,7 +35,7 @@ defined on objects #{X} by the \vocabk{contravariant hom-functor}{tt-001S} on #{
 \p{#{\bullet} is a placeholder for an object. #{H^X} and #{H_X} denote the corresponding Yoneda embedding functors applied to #{X}, and are called covariant/contravariant \newvocab{Yoneda functor}s, respectively.
 }
 
-\p{Schematically \citek{def. 161}{rosiak2022sheaf}:
+\p{Schematically \citet{def. 161}{rosiak2022sheaf}:
 
 \tikz{
 \begin{tikzcd}

diff --git a/trees/tt-002V.tree b/trees/tt-002V.tree
@@ -1,7 +1,6 @@
 \import{tt-macros}
 % clifford hopf spin tt math draft
 \tag{tt}
-\tag{draft}
 
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof

diff --git a/trees/tt-002W.tree b/trees/tt-002W.tree
@@ -1,7 +1,6 @@
 \import{tt-macros}
 % clifford hopf spin tt math draft
 \tag{tt}
-\tag{draft}
 
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof

diff --git a/trees/tt-002X.tree b/trees/tt-002X.tree
@@ -1,7 +1,6 @@
 \import{tt-macros}
 % clifford hopf spin tt math draft
 \tag{tt}
-\tag{draft}
 
 % definition theorem lemma construction observation
 % convention corollary axiom example exercise proof
-Original file line number
+Diff line change
@@ Expand Up / @@ -273,7 +273,7 @@ @@
       }
       \li{
-        \p{\newvocab{Naturality} in natural transformations is equivalent to the following equality:
+        \p{The \newvocab{naturality} in natural transformations is equivalent to the following equality:
         \tikz{
           \naturality/xfg#draw $=$ \naturality/xfgp#draw
         }
@@ Expand Down @@