定義 601
I と J を圏とする。
L: I → J を関手とする。
各 k ∈ J に対して圏 (k↓L) (>>86)が空でなく連結(>>40)なとき L を終関手(final functor)と言う。