定義
I をグラフ(過去スレ017の325)とし、C を圏とする。
F：I → C を図式(過去スレ017の833)とする。
錐(過去スレ018の838) α: X → F は
湧き出し(過去スレ018の713) (α(i)：X → F(i))_I と見なせる。
このとき α は自然な湧き出しと言う。