burstall中文什么意思
伯斯塔尔
伯斯托尔
例句与用法
- Entity - relationship - attribute designs and sketches . theory and application of category theories , 2002 , 10 : 94 - 112 . 19 burstall r m , goguen j a . putting theories together to make specifications
所谓类范畴,就是放弃了带类型范畴中两个首尾相接的态射一定能组合成第三个态射,且它们的类型也相应组合这一要求。