I’ve proved a new simple proposition about infimum product:
Theorem
Let be metamonovalued morphisms. If
for some sets ,
,
,
then
And its corollary:
.
See this online article (here there is also the dual of the above statements).