# 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 β`

.