V.R361 — The enrichment functor is not yet constructed

Enrichment functor F_{12}: E_1 -> E_2 is not yet explicitly constructed; existence is structural claim, Book VI will attempt construction.