Category Theory For Beginners: Knowledge Representation
In this video I discuss how ontology logs can be used to represent ideas from science and everyday language. I begin with an example of how pullbacks can be used to represent what planets are in astronomy. Next I describe how pullbacks can represent the intersection of two general sets. I also explain what pushouts are in the category of sets, and how they can be used to represent for sorting, or to represent the union of two sets. I also describe how we can use ontology logs to represent when two sets are equal or when one set is empty. I finish by explaining how ontology logs can be used to represent the complement of two sets.
Watch video Category Theory For Beginners: Knowledge Representation online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 30 June 2019, don't forget to share it with your friends and acquaintances, it has been viewed on our site 6,755 once and liked it 172 people.