On 11-06-22 12:30 AM, Arnaud Bailly wrote:
Are there works/thesis/books/articles/blogs that try to use Cat. theory explicitly as a tool/language for designing software (not as an underlying formalisation or semantics)? Is the question even meaningful?
A lot of Doug Smith's works. In short, an object is a module's specification (implementation is a special case), a morphism is a refinement, colimit is composition. Try these: Composition by Colimit and Formal Software Development 2006 ftp://ftp.kestrel.edu/pub/papers/smith/goguen.pdf in A Festschrift in Honor of Prof. Joseph Goguen Designware: Software Development by Refinement 1999 ftp://ftp.kestrel.edu/pub/papers/smith/ctcs.pdf invited paper in Proceedings of the Eighth International Conference on Category Theory and Computer Science (CTCS'98) Mechanizing the Development of Software 1999 ftp://ftp.kestrel.edu/pub/papers/smith/marktoberdorf.ps in Marktoberdorf Summer School 1998 more at http://www.kestrel.edu/home/people/smith/