[bridged from https://mathstodon.xyz/@RefurioAnachro on the fediverse by https://fed.brid.gy/ ]
At least I think the guy in this aboutlogic short is him.
https://www.youtube.com/watch?v=144PsTVaoCE
At least I think the guy in this aboutlogic short is him.
https://www.youtube.com/watch?v=144PsTVaoCE
https://web.archive.org/web/20210212111540/http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html
Reading […]
https://web.archive.org/web/20210212111540/http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html
Reading […]
#mandelbrot #fractal #mathart #generativeart
#mandelbrot #fractal #mathart #generativeart
This identity is just one example of a family of identities that can be […]
[Original post on mathstodon.xyz]
This identity is just one example of a family of identities that can be […]
[Original post on mathstodon.xyz]
cc @DavidKButler
"These Fano pyramid matroids can also be placed in a larger Fano pyramid based on how they relate to each other!"
cc @DavidKButler
"These Fano pyramid matroids can also be placed in a larger Fano pyramid based on how they relate to each other!"
https://www.youtube.com/shorts/2gtg3ohR0ks
https://www.youtube.com/shorts/2gtg3ohR0ks
Congratulations to @egbertrijke on the publication of his textbook on homotopy type theory and univalent mathematics!
For many of us classically trained mathematicians, learning univalent mathematics and type theory meant adapting to […]
Congratulations to @egbertrijke on the publication of his textbook on homotopy type theory and univalent mathematics!
For many of us classically trained mathematicians, learning univalent mathematics and type theory meant adapting to […]
https://www.youtube.com/watch?v=JfSY1SXbiTI
https://www.youtube.com/watch?v=JfSY1SXbiTI
If you are familiar with homotopy type theory, it may not seem very surprising that homology can be used for something like this. After all, that's part of what HoTT is all about […]
If you are familiar with homotopy type theory, it may not seem very surprising that homology can be used for something like this. After all, that's part of what HoTT is all about […]
https://en.wikipedia.org/wiki/Kneser_graph
I looked at them while following […]
https://en.wikipedia.org/wiki/Kneser_graph
I looked at them while following […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
Well, Sorry. I've seen it used in this (otherwise very cool) post:
https://golem.ph.utexas.edu/category/2025/08/burrito_monads_arrow_kitchens.html
Well, Sorry. I've seen it used in this (otherwise very cool) post:
https://golem.ph.utexas.edu/category/2025/08/burrito_monads_arrow_kitchens.html
¹' These are called associative quasigroups.
¹' These are called associative quasigroups.
https://www.youtube.com/watch?v=hAWzBgx7t40
Thanks, Jos, great work!
https://www.youtube.com/watch?v=hAWzBgx7t40
Thanks, Jos, great work!
10 Questions With: Infinity Expert Joel David Hamkins
https://www.youtube.com/watch?v=MvfXFpJX2ps
10 Questions With: Infinity Expert Joel David Hamkins
https://www.youtube.com/watch?v=MvfXFpJX2ps