Order-preserving morphisms

math-comp / finmap

Finite sets, finite maps, multisets and generic sets

46 stars 28 forks source link

Order-preserving morphisms #16

Open ejgallego opened 7 years ago

ejgallego commented 7 years ago

Is there a plan to define order-preserving morphisms and some of their theory?

CohenCyril commented 6 years ago

Yes there should be.

ejgallego commented 6 years ago

Thanks!

hivert commented 6 years ago

I planned to contribute some, but I'm stuck with some inheritance problem within the ssreflect framework. I really need to spend a few hour with an expert.

Best,

Florent

CohenCyril commented 6 years ago

Yes, this was indeed your item 3. in #8