1、
2、
模型的结构语义由类型范畴图表来指代，行为语义则由范畴附带的进程行为迹来表示，模型间的映射关系用范畴理论中的态射和函子来形式化描述。
互联网摘选
3、
4、
基于性能的后期的可承受性: 能否担负得起向基于性能的采办的无条件的转变?
互联网摘选
5、
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
