Georgia Institute of Technology College of Sciences

Judge John Dever gives the mathematically ubiquitous concept of adjunction a categorical definition. With the hom functor acting as an "inner product", categorical adjoints may be seen as the analogy of adjoint linear operators of a Hilbert space.