La sección de ejemplos más abajo proporciona las evidencias; además, las construcciones universales, que pueden ser más familiares, dan lugar a numerosos pares de funtores adjuntos.