First time here? Check out the FAQ!

Ask Your Question
1

Unable to coerce dictionary to morphism between finite posets

asked 8 years ago

jobrien715 gravatar image

updated 8 years ago

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

Preview: (hide)

Comments

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

John Palmieri gravatar imageJohn Palmieri ( 8 years ago )

1 Answer

Sort by » oldest newest most voted
1

answered 8 years ago

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])

Preview: (hide)
link

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: 8 years ago

Seen: 218 times

Last updated: Jul 09 '16