On Fri, May 31, 2013 at 01:14:09PM -0400, Mark Shimozono wrote:
> Does sage have a functorial Aut construction,
> which yields the group of automorphisms of some object in a category?

Not yet; it just has End.

> I want to use this to define a functorial construction of semidirect products 
> in the Groups() category.
> 
> Of course it would generally be difficult to test membership in Aut, but it 
> would be nice
> to assert this property and to use it for functors.

This makes sense!

You might want to use phi.is_unit(); but it's not necessarily
implemented/able.

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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to