Playlists
|
Adjunctions
7
Videos
Some videos introducting adjunctions and their relationship to monads.
|
|
String diagrams for functors and natural transformations are introduced, then we show how adjunctions and monads have a very simple and natural description in this language.
|
|
Limits and colimits
13
Videos
Limits and colimits, starting with specific examples of common (co)limits that have special names, then formal definition of limit and colimit over an arbitrary diagram. Universal properties.
|
Videos
(77)
[TRANSLATED]
Representables and Yoneda 3
[TRANSLATED]
Representables and Yoneda 3
Statement of Yoneda lemma and explanation of "why" it is true
[TRANSLATED]
Representables and Yoneda 2
[TRANSLATED]
Representables and Yoneda 2
Further explanation of the Yoneda embedding (including calling it that, but not ye...
[TRANSLATED]
Representables and Yoneda 1
[TRANSLATED]
Representables and Yoneda 1
Definition of representable functors and the Yoneda embedding (though without call...
[TRANSLATED]
Slice and comma categories 2
[TRANSLATED]
Slice and comma categories 2
Definition of comma categories D over and under F for a functor F, and F over and ...
[TRANSLATED]
Slice and comma categories 1
[TRANSLATED]
Slice and comma categories 1
Definition of slice categories C/X and X/C, products in C/X as pullbacks in C
[TRANSLATED]
Coequalisers 2
[TRANSLATED]
Coequalisers 2
Quotient groups as coequalisers in the category of groups
[TRANSLATED]
Coequalisers 1
[TRANSLATED]
Coequalisers 1
Definition of coequaliser, examples in Set: coequalisers can be constructed as equ...
[TRANSLATED]
Adjunctions from morphisms 5
[TRANSLATED]
Adjunctions from morphisms 5
Description of the left adjoint to the pull-back
[TRANSLATED]
Adjunctions from morphisms 4
[TRANSLATED]
Adjunctions from morphisms 4
A proof that the push-forward is right adjont to pull-back.
Add to iGoogle










