Friedrich Ulmer is a Swiss mathematician who developed the theory of locally presentable categories with Pierre Gabriel.