17 Oct
2012
17 Oct
'12
6:52 a.m.
On 15 October 2012 17:42, Mike Stay <metaweta@gmail.com> wrote:
Can any readers point me to other algorithms that were discovered by turning to category theory or to reports of problems solved by realizing they were instances of an abstraction of another solved problem?
Hi Mike, I can offer a small example of both these phenomena, as recounted here: http://bosker.wordpress.com/2012/05/10/on-editing-text/ (This algorithm hasn’t actually been implemented yet, as far as I know, though it would not be hard.) All the best, Robin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]