On Fri, Jun 12, 2015 at 08:28:15AM -0400, Mark Shimozono wrote:
> To do this entirely correctly each functorial construction needs to know what
> properties it
> respects; otherwise the new composite object may possess properties that
> don't make sense,
> even when all its pieces have the property.
I am not sure to follow.
Here the goal of the logic is to detect what's the most specific
common category C of a collection of parents.
How each functorial construction deduces from C, the properties of the
composite object is an independent logic, isn't it?
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.
