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.
Смотрите видео Category Theory For Beginners: Knowledge Representation онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 30 Июнь 2019, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 6,755 раз и оно понравилось 172 людям.