Watch Queue
Queue
Watch QueueQueue
The next video is starting
Loading...
Watch Queue
Queue
Watch Queue
Queue
__count__/__total__
Category Theory
- 120 videos
-
▶
Category Theory 1.1: Motivation and Philosophy
-
2
Category Theory 1.2: What is a category?
-
3
Category Theory 2.1: Functions, epimorphisms
-
4
Category Theory 2.2: Monomorphisms, simple types
-
5
Category Theory 3.1: Examples of categories, orders, monoids
-
6
Category Theory 3.2: Kleisli category
-
7
Category Theory 4.1: Terminal and initial objects
-
8
Category Theory 4.2: Products
-
9
Category Theory 5.1: Coproducts, sum types
-
10
Category Theory 5.2: Algebraic data types
-
11
Category Theory 6.1: Functors
-
12
Category Theory 6.2: Functors in programming
-
13
Category Theory 7.1: Functoriality, bifunctors
-
14
Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors
-
15
Category Theory 8.1: Function objects, exponentials
-
16
Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism
-
17
Category Theory 9.1: Natural transformations
-
18
Category Theory 9.2: bicategories
-
19
Category Theory 10.1: Monads
-
20
Category Theory 10.2: Monoid in the category of endofunctors
Category Theory 1.1: Motivation and Philosophy
Transcript
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.