PosetMap -- the class of all morphisms between posets

Functions and methods returning a map of posets:

• map(Poset,Poset,HashTable) -- see map(Poset,Poset,List) -- make a poset map
• map(Poset,Poset,List) -- make a poset map
• PosetMap * PosetMap -- composition of poset maps

Methods that use a map of posets:

• image(PosetMap) -- see image(PosetMap,List) -- the image of a poset map
• image(PosetMap,List) -- the image of a poset map
• isInjective(PosetMap)
• isRankPreserving(PosetMap) -- see isRankPreserving -- whether a poset map is rank-preserving
• isSurjective(PosetMap)
• posetConnectedSum(PosetMap,PosetMap) -- see posetConnectedSum -- constructs the connected sum of several posets
• posetFiberProduct(PosetMap,PosetMap) -- see posetFiberProduct -- constructs the fiber product of several posets
• PosetMap == PosetMap -- whether two poset maps are equal
• PosetMap Thing -- applies a poset map to a poset element
• source(PosetMap)
• target(PosetMap)

For the programmer

The object PosetMap is a type, with ancestor classes HashTable < Thing.

The source of this document is in MacaulayPosets.m2:1624:0.