ViewTube

ViewTube
Sign inSign up

Sort by

Newest

Oldest

Popular

Lecture 20: Comonads
44:49
Lecture 20: Comonads

42 views

3 months ago

Lecture 19: The Kleisli category of a monad, and a solver for categories
48:17
Lecture 19: The Kleisli category of a monad, and a solver for categories

56 views

3 months ago

Lecture 18: Adding a new bottom element is a monad on preorders
39:48
Lecture 18: Adding a new bottom element is a monad on preorders

106 views

3 months ago

Lecture 17: Monads in category theory
46:58
Lecture 17: Monads in category theory

70 views

3 months ago

Lecture 16: The category of categories, and natural transformations
49:39
Lecture 16: The category of categories, and natural transformations

33 views

3 months ago

Lecture 15: Functors
44:09
Lecture 15: Functors

62 views

3 months ago

Lecture 14: More examples of categories
44:35
Lecture 14: More examples of categories

52 views

4 months ago

Lecture 13: Monoids and categories
41:51
Lecture 13: Monoids and categories

147 views

4 months ago

Lecture 12: Optimising expressions
51:19
Lecture 12: Optimising expressions

162 views

4 months ago

Lecture 11: Typed Hutton's Razor
48:23
Lecture 11: Typed Hutton's Razor

65 views

4 months ago

Lecture 10: Hutton's Razor
45:27
Lecture 10: Hutton's Razor

264 views

4 months ago

Lecture 8: Generalising the induction hypothesis
46:22
Lecture 8: Generalising the induction hypothesis

57 views

4 months ago

Lecture 9: Recursively vs inductively defined types
53:38
Lecture 9: Recursively vs inductively defined types

44 views

4 months ago

Lecture 7: Equality
46:47
Lecture 7: Equality

58 views

4 months ago

Lecture 6: Existentials, de Morgan's Laws, and Markov's Principle
48:56
Lecture 6: Existentials, de Morgan's Laws, and Markov's Principle

88 views

4 months ago

Lecture 5: Fin as bounded numbers, and decidability
50:08
Lecture 5: Fin as bounded numbers, and decidability

86 views

4 months ago

Lecture 2: Data and pattern matching (with audio!)
42:12
Lecture 2: Data and pattern matching (with audio!)

101 views

5 months ago

Lecture 19: Every monad arises from an adjunction
48:08
Lecture 19: Every monad arises from an adjunction

129 views

1 year ago

Lecture 18: the free-forgetful adjunction for categories, and monads from adjunctions
48:36
Lecture 18: the free-forgetful adjunction for categories, and monads from adjunctions

80 views

1 year ago

Lecture 17: Free categories
45:31
Lecture 17: Free categories

176 views

1 year ago

Lecture 16: Adjunctions
49:08
Lecture 16: Adjunctions

161 views

1 year ago

Lecture 15: Kleisli categories
48:33
Lecture 15: Kleisli categories

78 views

1 year ago

Lecture 14: Monads
51:00
Lecture 14: Monads

79 views

1 year ago

Lecture 13: The category of categories, and natural transformations
41:43
Lecture 13: The category of categories, and natural transformations

32 views

1 year ago

Lecture 12: Functors
46:46
Lecture 12: Functors

65 views

1 year ago

Lecture 11: Definition and examples of categories
48:54
Lecture 11: Definition and examples of categories

91 views

1 year ago

Lecture 10: relating typed and untyped expressions, and proving optimisations correct
49:45
Lecture 10: relating typed and untyped expressions, and proving optimisations correct

79 views

1 year ago

Lecture 9: Hutton's Razor
38:07
Lecture 9: Hutton's Razor

75 views

1 year ago

Lecture 7: Inductively defined predicates
51:12
Lecture 7: Inductively defined predicates

96 views

1 year ago

Lecture 6: More about equallty
46:27
Lecture 6: More about equallty

108 views

1 year ago

Show more