[reinman]

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

[ungamedplayer]

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

[reinman]

(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

[ungamedplayer]

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

[reinman]

HN skepticism is warranted and deserves decent answers