Foundations 2: Category Theory
In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start with intuitive ideas about set theory, and introduce notions from category theory, logic and type theory, until we are in a position to understand dependent type theory, and in particular, homotopy type theory, which promises to replace set theory as the foundation of modern mathematics. We also take an interest in computer science, and how to write computer programming languages to formalize mathematics.
In this video, we introduce category theory, the category Set, and the idea of terminal objects.
Смотрите видео Foundations 2: Category Theory онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 06 Декабрь 2020, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 11,436 раз и оно понравилось 371 людям.