Okay, I fixed the definition of the pullback of a partition. Since we have to exclude empty parts "by hand", the definition is quite a bit more ugly than I thought before. This ugliness probably causes various problems. But I don't see a way around it unless we generalize partitions to allow empty parts... or just work with equivalence relations.