528 名前：ample of this sort of situation is the functor between Galois categories of ´etale coverings induced by a morphism of connected schemes. By contrast, the links that occur in inter-universal Teichm¨uller theory are constructed by partially dismantling the ring structures of the rings in their domains and codomains [cf. the discussion of §2.7, (vii)], hence necessarily result in much more complicated relationships between the universes ? i.e., between the labelling apparatuses for sets ? that are adopted in the Galois categories that occur in the domains and codomains of these links, i.e., relationships that do not respect the various labelling apparatuses for sets that arise from correspondences between the Galois groups that appear and the respective ring/scheme theories that occur in the domains and codomains of the links.
