Encoders are sensors that change value based on the movement of a part. They detect where the shaft is or how many times an axle has turned. These can be rotating, or sensing, along a straight line track.
Sensing how far something has traveled is also known as odometry, and the sensors can also be called tachometers, or tachos for short. The sensors suggested in the Technical requirements section may also show up as Arduino tacho in searches.