Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020

  Рет қаралды 9,714

Code Sync

Code Sync

Күн бұрын

Пікірлер: 4
@yash1152
@yash1152 Жыл бұрын
how does group theory relate with category theory?
@kurisu-makise
@kurisu-makise 5 жыл бұрын
Beautiful.
@AlexandreCassagne
@AlexandreCassagne 3 жыл бұрын
Thank you !
@brendamx5471
@brendamx5471 4 жыл бұрын
GREAT.
Andrew Lelechenko - Haskell for mathematical libraries - Lambda Days 2020
44:01
Andrew Lelechenko - Haskell for mathematical libraries - Lambda Days 2020
Code Sync
Рет қаралды 2,3 М.
"Categories for the Working Hacker" by Philip Wadler
41:40
"Categories for the Working Hacker" by Philip Wadler
Strange Loop Conference
Рет қаралды 67 М.
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
00:41
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
King jr
Рет қаралды 7 МЛН
How to treat Acne💉
00:31
How to treat Acne💉
ISSEI / いっせい
Рет қаралды 108 МЛН
Гениальное изобретение из обычного стаканчика!
00:31
Гениальное изобретение из обычного стаканчика!
Лютая физика | Олимпиадная физика
Рет қаралды 4,8 МЛН
Don’t Choose The Wrong Box 😱
00:41
Don’t Choose The Wrong Box 😱
Topper Guild
Рет қаралды 62 МЛН
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
43:49
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
SPACE
Рет қаралды 16 М.
Angeline Aguinaldo: Diary of a software engineer using categories
43:44
Angeline Aguinaldo: Diary of a software engineer using categories
Topos Institute
Рет қаралды 4,2 М.
Applied Category Theory • Ken Scambler • YOW! 2019
24:51
Applied Category Theory • Ken Scambler • YOW! 2019
GOTO Conferences
Рет қаралды 5 М.
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
45:28
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
Lambda World
Рет қаралды 26 М.
Categories for AI 1: Why Category Theory? By Bruno Gavranović
1:00:08
Categories for AI 1: Why Category Theory? By Bruno Gavranović
Pim de Haan
Рет қаралды 22 М.
A Sensible Introduction to Category Theory
26:20
A Sensible Introduction to Category Theory
Oliver Lugg
Рет қаралды 456 М.
Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024
52:41
Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024
Code Sync
Рет қаралды 285
AI Is Making You An Illiterate Programmer
27:22
AI Is Making You An Illiterate Programmer
ThePrimeTime
Рет қаралды 163 М.
Uncovering the Mysteries of Category Theory!
13:08
Uncovering the Mysteries of Category Theory!
Machine Learning Street Talk
Рет қаралды 11 М.
Category Theory for the Working Hacker by Philip Wadler
50:52
Category Theory for the Working Hacker by Philip Wadler
Lambda World
Рет қаралды 94 М.
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
00:41
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
King jr
Рет қаралды 7 МЛН