See here (especially this draft article) for definition of cross-composition product and quasi-cartesian functions. Conjecture 1 Cross-composition product (for small indexed families of relations) is a quasi-cartesian function (with injective aggregation) from the quasi-cartesian situation $latex {\mathfrak{S}_0}&fg=000000$ of binary relations to the…
read more