finmap icon indicating copy to clipboard operation
finmap copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Order-preserving morphisms

Open ejgallego opened this issue 8 years ago • 4 comments

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

ejgallego avatar Nov 06 '17 03:11 ejgallego

Yes there should be.

CohenCyril avatar Nov 24 '17 12:11 CohenCyril

Thanks!

ejgallego avatar Nov 24 '17 12:11 ejgallego

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

hivert avatar Nov 24 '17 14:11 hivert

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

CohenCyril avatar Nov 24 '17 14:11 CohenCyril