Commit 2022-02-23 13:18 7de8137d
View on Github →feat(topology/order/hom): Continuous order homomorphisms (#12012)
Define continuous monotone functions, aka continuous order homomorphisms, aka Priestley homomorphisms, with notation α →Co β
.
feat(topology/order/hom): Continuous order homomorphisms (#12012)
Define continuous monotone functions, aka continuous order homomorphisms, aka Priestley homomorphisms, with notation α →Co β
.