automatic redirect

Hi all, i discovered a peculiarity of wp but i don’t understand how does it function.

I saw that if I edit a url
from: …/category/john.html
to: …/category/antony.html
automatically cms from the front-end can be redirect me to antony, what is managed by the function?

Tks