Putting channels on the map: a channel-theoretic semantics of maps?