Если по аналогии, то любые переменные - это не более чем указатели на реальные объекты.
И этими реальными объектами рулит garbage collector питона.
Разница в том, что некоторые объекты изменяемые (точнее, объекты-ссылки), а некоторые нет (объекты-значения).
Объекты-значения копируются при попытке модификации:
a = 1
b = a
b += 2
print(a, b) #1 3
Объекты ссылки нет:
a = [1]
b = a
b += [2]
print(a, b) #[1, 2] [1, 2]