David Spivak
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
- Alexander Konovalov8 talks
- Bartosz Milewski10 talks
- Emilien Pecoul3 talks
- Steven Syrek5 talks
- Eugenia Cheng2 talks
- Vlad Patryshev11 talks
| title | conference | date |
|---|---|---|
| Category Theory - Part 1 of 6 | LambdaConf 2017 | 2017-05-25 |
Course introduces concrete definitions and verifies the claims: sets and functions, identity, initial/terminal objects, universal property axiomatizes… | ||
| Category Theory - Part 2 of 6 | LambdaConf 2017 | 2017-05-25 |
Explains why Universal Properties, not implementations, uniquely characterize constructions: shows how an evaluation map EV and the exponential object are… | ||
| Category Theory - Part 3 of 6 | LambdaConf 2017 | 2017-05-25 |
Covers concrete claims and examples: functors preserve identities and composition and can go between different categories; monoids model as one‑object… | ||
| Category Theory - Part 4 of 6 | LambdaConf 2017 | 2017-05-25 |
Part 4 gives concrete translations rather than abstract slogans: it shows functors to Set as databases by writing the tables for vertices and arrows, proves… | ||
| Category Theory - Part 5 of 6 | LambdaConf 2017 | 2017-05-25 |
Clear statement: adjunctions produce concrete maps (unit and counit) and give monads; demonstrated with concrete examples and constructions, not only words… | ||
| Category Theory - Part 6 of 6 | LambdaConf 2017 | 2017-05-25 |
Defines Galois connections concretely: image and preimage forming a Galois connection for powersets. Shows adjunctions produce monads (unit and mu given by… | ||
| nothing matches | ||