Peter J. Freyd

Peter J. Freyd is a Professor of Mathematics Emeritus at the University of Pennsylvania, Department of Mathematics. His research interests include Programming Semantics, Categorical Algebra and Geometric Logic, as well as Topology and Knot Theory. He is affiliated with the School of Arts and Sciences and can be contacted via email at pjf@seas.upenn.edu. His professional profile is available at https://www.math.upenn.edu/people/peter-j-freyd.