Eugenia Cheng ← my favorite category theorist.
"Category Theory in Life"
https://www.youtube.com/watch?v=ho7oagHeqNc

🐵 ← 🙈🙉🙊 → /phil →  phil.cockfield.net, db.team →  
ƒ(🌳) →  🧫 /sys  ←  @cell <T> 🧠🐦‍⬛, 100% human cartoon

I'm going back in and re-watching with even greater attn. knowing that your head's all over this too Thomas!

The "<Math> of <Math>" - there is something profound I'm trying to catch at the edges of this, how you can take the most advanced abstraction tool and have "non-maths artists" grok and use it.

"Powerful Ideas"

Aviator, diver, Etherean, nexialist, PhD in aviation ∩ climate science | Host of /diving /ethfinance /eth-staker /geopolitics /science /singapore /thomas

Still going through it while taking notes, but fascinating talk so far. Just the idea of composition alone -simplifying things by removing what can be deduced- connects a lot of dots. Like composite numbers! And how 8 is merely shorthand for its prime factor 2^3, which is short for 2x2x2, which is short for 2+2+2+2…