Angeline Aguinaldo: Diary of a software engineer using categories

  Рет қаралды 4,191

Topos Institute

Topos Institute

Күн бұрын

Пікірлер
@ApprendreSansNecessite
@ApprendreSansNecessite 3 жыл бұрын
It is very motivating to see category theory presented in a pragmatic way.
@alexandrezani
@alexandrezani 3 жыл бұрын
This was very interesting. I would have loved to see a deeper dive into a specific example showing where CT came in and how it helped solve a problem.
@aleksandarbakic3812
@aleksandarbakic3812 3 жыл бұрын
Very interesting! Can we get the slides attached here?
@wdobni
@wdobni Жыл бұрын
ghastly...just ghastly...not quite nonsense but close enough for government work
David Spivak: Categorical Databases
1:09:41
Topos Institute
Рет қаралды 6 М.
Applied Category Theory • Ken Scambler • YOW! 2019
24:51
GOTO Conferences
Рет қаралды 4,8 М.
Players vs Pitch 🤯
00:26
LE FOOT EN VIDÉO
Рет қаралды 128 МЛН
David Jaz Myers: "Three Realisms and The Idea of Sheaves"
38:52
Topos Institute
Рет қаралды 7 М.
A Categorical View of Computational Effects
1:12:41
Compose Conference
Рет қаралды 23 М.
John Baez: "Symmetric Monoidal Categories A Rosetta Stone"
28:42
Topos Institute
Рет қаралды 7 М.
A Sensible Introduction to Category Theory
26:20
Oliver Lugg
Рет қаралды 444 М.
Paolo Perrone - Tutorial on Markov Categories
1:28:06
Applied Category Theory
Рет қаралды 916
Programming with Categories - Lecture 0
46:25
Topos Institute
Рет қаралды 28 М.
Category Theory for the Working Hacker by Philip Wadler
50:52
Lambda World
Рет қаралды 93 М.
Evan Patterson: "A Short Introduction to Categorical Logic"
23:00
Topos Institute
Рет қаралды 6 М.
40 Years Of Software Engineering Experience In 19 Minutes
19:10
Continuous Delivery
Рет қаралды 95 М.
Players vs Pitch 🤯
00:26
LE FOOT EN VIDÉO
Рет қаралды 128 МЛН