La idea es presentar el problema en términos de una cierta categoría auxiliar "C"; y entonces identificar lo que deseamos hacer como demostrar que "C" tiene objeto inicial.