Adjunctions, Mates, and Kan Extensions
Date:
I gave this talk in the Ualbany Graduate Student Seminar.
Mates are a 2-categorical tool used to give elegant proofs for results about adjunctions. We first define adjunctions and then mates in the 2-category of all categories, and finally we demonstrate the power of the calculus of mates by proving results about left Kan extensions.