esakia): Esakia morphisms (#12241)

Commit

4 years ago

feat(topology/order/hom/esakia): Esakia morphisms (#12241) Define pseudo-epimorphisms and Esakia morphisms following the hom refactor.

Author

YaelDillies

Parents