Ask Your Question

Unable to coerce dictionary to morphism between finite posets

asked 2016-07-09 03:53:21 -0500

jobrien715 gravatar image

updated 2016-07-12 13:32:06 -0500

FrédéricC gravatar image

Using the code below, I am unsure why I cannot form the identity map (or others such as constant maps) via dictionary. I have done the same process for finite simplicial complexes, so maybe this isn't implemented for finite posets? Thanks for any help!

The input:


The output error message:

TypeError: Unable to coerce x (={1: 1, 2: 2}) to a morphism in Set of Morphisms from Finite poset containing 2 elements to Finite poset containing 2 elements in Join of Category of finite posets and Category of finite enumerated sets and Category of facade sets

edit retag flag offensive close merge delete


I'm not positive, but it looks like morphisms of posets are not implemented.

John Palmieri gravatar imageJohn Palmieri ( 2016-07-09 10:17:44 -0500 )edit

1 answer

Sort by » oldest newest most voted

answered 2016-07-09 16:18:07 -0500

jobrien715 gravatar image

Was given the following (tweaked) solution using lambda functions on sage-support:

Hom(X,X)(lambda x:{1:1,2:2}[x])

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2016-07-09 03:53:21 -0500

Seen: 36 times

Last updated: Jul 09 '16