[001I] -1·d.

In Section 5 [001F] we define opaque functors, exposing their relation with absolute extensions and exact squares, and we show their role for Deleanu-Frei-Hilton’s Categorical Shape Theory (cf. A. Frei (Frei, 1976)) and for Kan extensions of cohomological theories (cf. J.L. Mac Donald (MacDonald, 1976)).