filmov
tv
Все публикации
0:43:15
Category Theory III 7.2, Coends
0:33:36
Category Theory III 7.1, Natural transformations as ends
0:34:26
Category Theory III 6.2, Ends
0:29:14
Category Theory III 6.1, Profunctors
0:29:26
Category Theory III 5.2, Lawvere Theories
0:29:55
Category Theory III 5.1, Eilenberg Moore and Lawvere
0:29:02
Category Theory III 4.2, Monad algebras part 3
0:26:55
Category Theory III 4.1, Monad algebras part 2
0:28:31
Category Theory III 3.2, Monad Algebras
0:25:48
Category Theory III 3.1, Adjunctions and monads
0:32:15
Category Theory III 2.2, String Diagrams part 2
0:29:08
Category Theory III 2.1: String Diagrams part 1
0:28:12
Category Theory III 1.2: Overview part 2
0:26:59
Category Theory III 1.1: Overview part 1
0:43:42
Category Theory II 9.2: Lenses categorically
0:41:59
Category Theory II 9.1: Lenses
0:42:27
Category Theory II 8.2: Catamorphisms and Anamorphisms
0:51:39
Category Theory II 8.1: F-Algebras, Lambek's lemma
0:37:39
Category Theory II 7.1: Comonads
0:37:15
Category Theory II 6.2: Free-Forgetful Adjunction, Monads from Adjunctions
0:48:25
Category Theory II 6.1: Examples of Adjunctions
0:40:36
Category Theory II 5.2: Adjunctions
0:50:54
Category Theory II 5.1: Yoneda Embedding
0:36:11
Category Theory II 4.2: The Yoneda Lemma
Вперёд
0:43:15
0:33:36
0:34:26
0:29:14
0:29:26
0:29:55
0:29:02
0:26:55
0:28:31
0:25:48
0:32:15
0:29:08
0:28:12
0:26:59
0:43:42
0:41:59
0:42:27
0:51:39
0:37:39
0:37:15
0:48:25
0:40:36
0:50:54
0:36:11