Editors are applications for editing and manipulating video.

Personal Video Recorders are devices that can record video, like TV, and play it back at a later time.

A player is an application for video playback.