A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Although the contribution of Category Theory as a mathematical platform for supporting software development, in the wake of Goguen's approach to General Systems, is now reasonably recognised, accepted and even used, the emergence of new modelling techniques and paradigms associated with the "New-Economy" suggests that the whole approach needs to be revisited. In this paper, we propose some revisions capitalising on the lessons that we have learned in using categorical techniques for formalisingdoi:10.1007/3-540-45719-4_29 fatcat:llkmvkfcwnhmzm3r47grolawty