I’ve introduced another version of cross-composition of funcoids. This forms a category with star-morphisms. It is conjectured that this category is quasi-invertible, because I have failed to prove it.
This should be included in the next version of my book.