burstall 中文意思是什麼
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
所謂類范疇，就是放棄了帶類型範疇中兩個首尾相接的態射一定能組合成第三個態射，且它們的類型也相應組合這一要求。
分享友人