In the note [Properties of fibers and applications](https://www.math.ucdavis.edu/~osserman/classes/248B-W12/notes/fibers.pdf), Osserman writes above Definition 1.5:

> Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, while phenomena relating to algebra can only change
under inseparable extensions.

What is the "yoga" behind this intuition, and where is it explained conceptually?

For instance, why are "geometrically unibranch" local rings [0BPZ](https://stacks.math.columbia.edu/tag/0BPZ) "geometric", and why isn't this contradictory to the excerpt of Osserman (for geometrically unibranch we ask the extension of residue fields to be purely inseparable)?