Category Theory For Beginners: Duality And Functors

Published: 02 June 2019
on channel: Richard Southwell
12,539
255

In this video we introduce the idea of duality, and the notion of the opposite category. We define the initial object of a category, and show that it can be viewed as the empty set, within the category of sets. We also introduce the idea of the coproduct and show that it corresponds to the discriminated union, within the category of sets. We also show how the Cartesian product can be viewed as a functor in the category of sets. More generally, we show that the categorical product can be viewed as a functor, when the categorical product of each pair of objects is defined. This also gives us a notion of the categorical product of a pair of arrows.


Watch video Category Theory For Beginners: Duality And Functors online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 02 June 2019, don't forget to share it with your friends and acquaintances, it has been viewed on our site 12,539 once and liked it 255 people.