Can we count connected components via inclusion-exclusion? - The Ross Program

[@NoNTr1v1aL]

Amazing video!

[@kisonecat]

Thanks again! I'm glad you're enjoying the videos.

[@jimgu2578]

Very cool!

[@kisonecat]

I like this example a lot. I have some idea that maybe I can motivate the Mayer-Vietoris sequence by drawing exact sequences with dots... we'll see.

[@Jop_pop]

The sum of those betti numbers is also the o-minimal euler characteristic

[@kisonecat]

The connection to Euler characteristic surely deserves its own video!

[@gtziavelis]

manim makes all the difference, doesn't it?

[@kisonecat]

It's been really fun learning how to use manim. Now if I could just do it more quickly!