On Thursday 17 Nov 2011 01:23:51 Bill Page wrote: > whether List is an > "endofunctor" is not very fundamental. Instead it is mostly a matter > of terminology.
I have put a table here: http://axiom-wiki.newsynthesis.org/SandBoxCategoryTerms containing items of terminology from category and type theory next to some information about how those terms are used in SPAD. The aim being to have an agreed framework for discussion and documentation for next time this discussion comes round again. I have also included some observations about what the issues might be to implement the category theoretic concepts in SPAD and what limits SPAD might put on this. 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.
