Wiki. 俯意象 [俯意象]

定义

意象的俯范畴仍是意象, 称之为俯意象.

性质

意象 $\mathcal C$ 的所有俯意象构成函子 $$ \mathcal C^{\mathrm{op}} \to \mathsf{Cat},\ X\mapsto\mathcal C_{/X}. $$