On Tuesday 15 Nov 2011 16:35:49 Bill Page wrote: > > 4) If we generate an SPAD-category in code then I assume that domain > > will also have to be generated in code? > > I don't understand this question.
Yes, I didn't explain this very well, I think what I was trying to get at is if: B is some base class T is an endofunctor (in category theoretic terms) Then this 'generates' a sequence of categories: T B, T^2 B, T^3 B ... If we now swap to SPAD terminology, when we implement a monad, do we extend the above category sequence or do we create the implementation independently like: List Integer, List List Integer, List List List Integer ... or using your program: MonadList(Integer),MonadList(List Integer), MonadList(List List Integer)... Actually I think it should really be: MonadList(Integer),MonadList(MonadList(Integer)), MonadList(MonadList(MonadList( Integer)))... So, thinking about it again, its not an issue, because the individual domains extend the individual categories. So the infinite sequence of domains extends the infinite sequence of categories. So I think I've answered my own question? 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 fricas-devel@googlegroups.com. To unsubscribe from this group, send email to fricas-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
