I had this theorem in mind for a long time, but formulated it exactly and proved only yesterday.
Theorem for complete endofuncoids
,
and principal monovalued and entirely defined funcoid
, provided that
is reflexive, and
is
-separable.
Here means that
is a continuous morphism from a “space”
to a “space”
.
The theorem is added to my book.