Anafunctor
関手
の一般化
https://ncatlab.org/nlab/show/anafunctor