За счёт чего достигается постоянный размер ячейки памяти для всех элементов списка, если типы данных в списке могут быть разными?

Python-списки хранят ссылки на объекты, а не сами объекты. Размер ссылки одинаков для всех объектов (обычно 8 байт на 64-разрядных системах), независимо от типа или размера объекта, на который она указывает. Таким образом, элементы списка имеют единообразный размер ячейки памяти, так как хранятся не сами данные, а указатели на данные.