3 ms·
You should be looking into coalgebras. God they are so obscure but so insanely useful. https://www.youtube.com/watch?v=XqywV-wkKSE https://www.youtube.com/watc
by adamnemecek 3y ago
You should be looking into coalgebras. God they are so obscure but so insanely useful.
https://www.youtube.com/watch?v=XqywV-wkKSE https://www.youtube.com/watch?v=XqywV-wkKSE
'discrete mathematics : algebra :: continuous mathematics : coalgebra'.
It's like the missing half of math and programming. Power series? Coalgebra. Combinatorics? Coalgebra. Continuousness? Coalgebra. Bases? Coalgebra. Control flow? Coalgebra [1].
I have a discord https://discord.cofunctional.ai https://discord.cofunctional.ai.
[1] https://www.cl.cam.ac.uk/~vb358/articles/mpc15.pdf https://www.cl.cam.ac.uk/~vb358/articles/mpc15.pdf