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
