动力系统解答的分离与粘合

我们构造了一个 Grothendieck 场，其对象为可在 o-无穷结构中可定义集合上的 Mealy 机，覆盖面为可定义开放单射族。在此场上，我们定义解释的预束——即配备可解释接口、由“评判员”参数化的系统。我们证明了行为预束（商集等价）是分离的：全局解释由其局部限制唯一确定。我们指出，粘合在一般情况下会失败——局部一致的解释不必在全局上装配，并给出针对受限接口预束中无状态解释系统的、实现单束属性的必要充分拓扑条件，涉及评判员纤维的鲁棒性断开。