[categories] Universal Properties & Adjunctions