A gentle introduction to category theory скачать в хорошем качестве

A gentle introduction to category theory

#logic #programming #categorytheory #typetheory Access exclusive content on Patreon: https://www.patreon.com/user?u=86649007 Category theory is an attempt to bring all of mathematics together into a single framework. The idea is that you can describe sets, groups, spaces, and other complicated objects by forgetting about their contents and focusing exclusively on the connections between the objects. We look at the definition of product, coproduct, and functors. If you want to learn more, here are some easy-to-follow references: [EYE 1]    • Universal Construction | Category The...   A very good introduction to the categorical definition of the product. Instead of types and programs, this video uses examples from logic. The video emphasizes the importance of universal properties and explains what they are. Highly recommended! [BART 1]    • A Crash Course in Category Theory - B...   An introduction to category theory from the perspective of types and programming. [M3M 1] https://www.math3ma.com/categories/ca... One of the best blogs on category theory. Many examples and good visuals. 0:00 Introduction 1:05 Types and functions 2:13 Arrows are more important than objects 4:39 The product of two types 9:29 The coproduct reverses all the arrows 11:18 Functors 14:16 You can always keep adding layers of abstraction 15:12 Outro This video is published under a CC Attribution license ( https://creativecommons.org/licenses/... )