固定，并允许函子（及目标范畴）变动。通常，最感兴趣的情况是当类型"J"为小范畴或有限范畴之时，此类图示分别被称为「小图示」及「有限图示」。在范畴"C"内，类型"J"之图示间的态射为函子间的自然变换。因此，可将"C"内类型"J"的图示范畴理解为一函子范畴"C"，而图示则为该范畴内的物件。