Kan functor
(と呼ぶかは分からない)
Kan extension の族から
ある functor:
について、right kan extension along の族:
つまり -terminal morphism の族が存在すれば、Pointwise construction of adjoints - PS より
となるような functor:
を作れる。
Kan extension の族の族から
Right kan extension の族:
が存在すれば、上記により adjunction の族:
を作れるので、さらに Adjunctions with parameters - PS より bifunctor:
を作れる。