On Tuesday 12 Jul 2011 16:58:08 Ralf Hemmecke wrote: > > I was wondering if there is some way to codify the mapping of the > > bottom-up description of a concrete category to its universal > > constructions. > > You should definitely look into the code of Saul Youssef. It's quite > involved and doesn't currently compile. But maybe you can extract some > interesting ideas out of it. > > It lacks documentation, but if you know a bit of category, some the > constructions seem pretty natural. > > I don't however know whether Youssef's code is helpful for what you have > in mind.
Ralf I did have a look at this some time ago, but since it was a while back I may have got it wrong, the impression I got then was: 1) It seemed to be written in Aldor and makes use of the Aldor- specific features to the extent that it would not be practical to re- write it in FriCAS SPAD? 2) It seemed to be like the 'Category extras' package for Haskell in that it looked like a toolbox of category-theory constructs (in the form of higher order functions) that can then be applied to other Aldor types rather than an abstract model of category theory that can encode the type of concepts we are talking about on this thread? I may be totally wrong about this, I probably should look at it again. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
