Ask Your Question
1

Unable to coerce dictionary to morphism between finite posets

asked 2016-07-09 10:53:21 +0100

jobrien715 gravatar image

updated 2016-07-12 20:32:06 +0100

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:

X=Poset({1:[],2:[1]})
Hom(X,X)({1:1,2:2})

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

Comments

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

John Palmieri gravatar imageJohn Palmieri ( 2016-07-09 17:17:44 +0100 )edit

1 Answer

Sort by » oldest newest most voted
1

answered 2016-07-09 23:18:07 +0100

jobrien715 gravatar image

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

X=Poset({1:[],2:[1]})
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

Stats

Asked: 2016-07-09 10:53:21 +0100

Seen: 209 times

Last updated: Jul 09 '16