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
所謂類范疇,就是放棄了帶類型范疇中兩個首尾相接的態射一定能組合成第三個態射,且它們的類型也相應組合這一要求。