On 1/29/21, doddy <[email protected]> wrote: > does categorical logic mean mean having the ai put everything that it has > seen and read into categories and subcategories? > then using those subcategories and categories to help the ai understand.
What you say is also correct... a category is kind of "closed", meaning that operations will produce results that stay within the category. This is definitely useful when implementing a formal system on a computer. Category theory is just an abstract way to talk about formal systems. It defines logic through the use of abstract notions like "pullbacks", "adjunctions", "universal properties", "Yoneda lemma", etc. This abstract language allows us to see many possible concrete "models". I'm not trying to scare people away with abstruse language, I hope to explain ideas to a very broad audience, otherwise no one would be interested in helping to implement those ideas 😆 YKY ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T54594b98b5b98f83-M54c59bed525bb863a8818ee6 Delivery options: https://agi.topicbox.com/groups/agi/subscription
