>>209
つづき

This example is, moreover, reminiscent of the situation surrounding the
vertical columns of log-links that appear in the log-theta-lattice of IUTch
(cf. (LbLp) below). Alternatively, one may understand
the incompatibility of the Θ-link (i.e., a horizontal arrow in
the log-theta-lattice) with arithmetic degrees (cf. (AD)) as a
sort of nontrivial monodromy around the loop (i.e., a special
case of “Γloop”!) that arises as soon as one identifies the domain
and codomain of the Θ-link − an incompatibility, i.e., “contradiction”, that is in fact avoided in IUTch (cf. (IUAD))
precisely by distinguishing the (ring structures in the) domain
and codomain of the Θ-link, i.e., by working with “Γseg”, and
then applying the multiradial algorithms of IUTch to obtain
an alternative way to compute this nontrivial monodromy
(cf. (GIUT)).

P32
SS at times justified their opposition to the “apparently substantively mean-ingless” (cf. (T5-2)) use of “labels” by invoking the issue of simplicity (cf. (T7)).At other times, SS asserted that the omission of labels could be justified simplyby “remembering” the fact that some arrow (corresponding to the “monodromyoperator” in (LbEx1), “f・” in (LbEx2), “φ” in (LbEx3), “ψ” in (LbEx4), the “glu-ing isomorphisms” in (LbEx5), or the “modified version of the Θ-link” of (VUC1)in the case of (LbEx6)) is not compatible with certain structures in its domainand codomain. On the other hand, as one may see in the above examples (LbEx1),(LbEx2), (LbEx3), (LbEx4), (LbEx5), (LbEx6), omitting the labels may, dependingon the specifics of the situation, easily give rise to a “contradiction” (which is infact meaningless!) that does not occur if one respects the labels, i.e., if one respectsthe distinct roles played by distinct copies. In particular, no matter “how good” aparticular mathematician’s memory may be,
(引用終り)
以上