В наличии:

[list=]
[*]Монитор 4к 144Гц, подключаемый через display port (чтобы 144Гц)
[*]Настольная машинка, подключение через DP->DP. Используется как игровая, реже для работы когда нужен x86 линупс (обычно в этом случае просто захожу на него по ssh, подключение обычно не нужно).
[*]Ноутбук, подключение USB-C -> DP. Используется как рабочая машинка.
[/list]

На данный момент перетыкаю шнуры, когда нужен конкретный аппарат. Это не слишком удобно. Существуют ли в природе разветвители, позволяющие легко переключать источник видео-сигнала?

Ну конечно есть в Китае такое.

да. монитор называется. у нормальных СОВРЕМЕННЫХ моников сейчас целая кучка входов и переключение делается через менюшку.
И да - а у ВАС какой монитор?