En esta sección definiremos categorías cerradas compactas y mostraremos que los Feas, y más generalmente los profunctores V, forman tal cosa. Las categorías compacto-cerradas son categorías monoidales...En esta sección definiremos categorías cerradas compactas y mostraremos que los Feas, y más generalmente los profunctores V, forman tal cosa. Las categorías compacto-cerradas son categorías monoidales cuyos diagramas de cableado permiten retroalimentación.