[Haskell-cafe] Category theory as a design tool

[Albert Y. C. Lai]

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/