20/04/09 23:29:08 peDzLyq8.net
>>687
つづき
That is to say, (unlike the case of the Θ-link) one does not perform
the gluing in the log-link by considering, say, full poly-isomorphisms between topological sets.
A closely related fact is the fact that these topological sets are never
used as vertical cores, i.e., as invariants (up to indeterminate isomorphisms of
topological sets) with respect to the log-link. Nevertheless, these topological sets
(regarded up to indeterminate isomorphisms of topological sets) may, in some sense,
be thought of as appearing implicitly, in the sense that the point of view in which
one thinks of the “Π’s” as abstract topological groups is closely related to the point
of view in which one thinks of the “Π’s” as groups of automorphisms of these
topological sets that appear in the gluing of Frobenius-like data that occurs in
the case of the log-link. This state of affairs differs somewhat from the situation
in the case of the Θ-link, in which the O×μ’s (regarded up to the indeterminacy
(Ind2)) do indeed play an important role as horizontal cores, i.e., as invariants with respect to the Θ-link.
P14
(VUC3) On the other hand, one may also eliminate the incompatibility discussed in (VUC1)
by abandoning the “identity isomorphism” and considering instead the (“full”) poly-isomorphism
given by the collection of all isomorphisms of topological monoids
(equipped with certain collections of submodules)
(引用終り)
以上