I’ve put online an article (PDF, a partial draft) where I define product of two morphisms for certain categories. (Such products are pointfree funcoids.) Particularly it is defined product of two funcoids and product of two reloids.
It is a more mature version of a draft I put online previously.