diff --git a/tex/preamble.tex b/tex/preamble.tex index 5383d64..1c32b42 100644 --- 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 index 9bce3ec..fe5629b 100644 --- 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 index 2473445..a54fbd4 100644 --- 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 index 1a235e7..4f9c5cc 100644 --- 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 index ebd82e3..843753e 100644 --- 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 index 3dc0686..109b587 100644 --- 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 index 2c9b441..363ca9e 100644 --- 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 index 42f0c8f..1c6e65e 100644 --- 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 index d2530df..7493865 100644 --- 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 index 68ac4a0..7534e76 100644 --- 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 index 79bfb54..70b8ecb 100644 --- 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 index 7f17a6d..6efd49b 100644 --- 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