Category Theory For Beginners: Introduction
Category theory is close to the perfect language. It can be used to describe many mathematical ideas, and see the relations between them, and their deeper structure. This is the first video in a course where we will carefully introduce the main ideas of category theory, and motivate them with lots of applications. This first video gives the definition of a category and give some motivation for studying the subject. In particular we define a category, give the definition of a monoid, we define a pre-ordered set (preorder), we define the category Set, of sets and functions. We introduce functional programming. We define the final object (terminal object), and explain how the ideas can be used to do set theory without considering the elements within sets directly.
Some people have said they want to support my efforts to make educational videos and software, and so I have made a Patreon page
/ richardsouthwell
Any support would really help me produce more videos and software.
Watch video Category Theory For Beginners: Introduction online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 13 May 2019, don't forget to share it with your friends and acquaintances, it has been viewed on our site 92,433 once and liked it 1.8 thousand people.