They don't -- they work with the local ssh command. Its just that ssh when invoked with a "command argument" runs that command instead of a shell, with the stdin and stdout being run through the network.

The end result is similar to what you said, but the mechanism is different, the pipe itself is strictly a local construct.

Thanks for pointing out that :)