「スライス圏の大域的な定義： スラッシュ記号の解釈」で、スラッシュ記号 '$`/`$' で表現されるスライス構成について述べました。そこで次のように書きました。 二番目の $`f^*`$ は定義に条件が必要で複雑でもあるので、ここでは一番目だけを扱います。 過…