Imaginantia

思ったことを書きます

indexed sets

I を index とする。

  • I\to A は、各添字に対して A の元を与えるもの。つまり I 個の A がある。
  • A\to I は、 A の各要素に I の元を対応させるもの。つまり A を I 個に分割するもの。

s:I\to A があるとき、index付きの像 S = \{(i,s(i))\mid i\in I\} \subset I\times A を考えられる。

ここから自明な写像 \pi_1: S\to I を考えれば、これはindexed set.

多分ここからfibration S \rightarrowtail I\times A \to I が作られるんだと思う