Do you have any Prolog background? Inference rules? Armstrong's axioms etc.?

For the laymen's in the audience such as myself can you answer the question.

(repost from similar question above)

Categories are about composition. Crafting is also about composition - using inference rules. https://en.wikipedia.org/wiki/Category_theory

The classic schematic representation of X Y Z shown on the above wiki page is basically a crafting rule to create Z. That is, if the AI knows about a "path" (think back to your homotopy training) from X and Y to Z then it can craft a Z from X,Y if it needs to

Yes this is exactly reverse to how we normally think about the caller/callee relationship

I usually just upvote. But I'd like to take the time to thank you for responding. Have a good one.

HN skepticism is warranted and deserves decent answers