Up-to Technique for Product Functor
To further explore the up-to techniques for bisimulation in the coalgebra setting,we investigate a special kind of functor,i.e.,product functor in this paper.Specifically,when F is the product of n sub-functors,in order to generate an up-to proof for bisimulation,it is suffcient to find n functions,where each one is consistent with its corresponding sub-functor,as well as weakly consistent with other sub-functors.The array formed by the n functions is called jointly consistent with F.We also give the analogue of jointly consistent function in traditional set theory.As for application,examples are given both coalgebraically and set-theoretically.
Up-to technique Coalgebra Bisimulation Jointly consistent function
Lingyun Luo Xinxin Liu Xiaohua Yang Zhiming Liu
School of Computer Science and Technology,University of South China,Hengyang 421001,China Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,P.O.Box 8718,Beijin
国内会议
济南
英文
1-12
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）