普通の連続関数の何を抽象化したモノなのか
集合論ではどう表現されてたのか
トポスでどう利用されるのか

が分かった