AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How to Prove a Theorem Using Category Theory?
Pimdahan and Takukon are both believers and practitioners of a field of mathematics called category theory. They use string diagrams to represent different probabilistic equations, kind of relations between different probability distributions graphically. Then you can use some nice manipulations on these and then use that to prove the theorem.