Category Theory For Beginners: Functors And The Category Of Categories

Описание к видео Category Theory For Beginners: Functors And The Category Of Categories

In this video I introduce more categories of structured sets (the category of graphs, and Mon the category of monoids, and Pre, the category of preordered sets). I also define isomorphisms in category theory. I also define functors between categories, and discuss the category of categories which is called Cat. I was going to define categorical products in this video, but I will save that for the next video.

Комментарии

Информация по комментариям в разработке

Похожие видео