Category Theory, Isomorphism, Functor (More Hiking in Modern Math World 7/7)

By Lê Nguyên Hoang, Not an Ordinary Seminar, GERAD.

For one hour, I will take you through some of the most amazing recent subfields of mathematics. From computational theory to chaos theory, from infinity to ergodicity, from mathematical physics to category theory, we will be unveiling mind-blowing results of modern mathematics. Although primarily aimed at non-mathematicians, it should be of great interest to everyone.

More on Science4All

Mathematical Physics, Determinism, Game of Life (Hiking in Modern Math 6/7) Mathematical Physics, Determinism, Game of Life (Hiking in Modern Math 6/7)
By Lê Nguyên Hoang | Updated:2016-03 | Views: 920

Type Theory: A Modern Computable Paradigm for Math Type Theory: A Modern Computable Paradigm for Math
By Lê Nguyên Hoang | Updated:2016-01 | Views: 10668
In 2013, three dozens of today's brightest minds have just laid out new foundation of mathematics after a year of collective effort. This new paradigm better fits both informal and computationally-checkable mathematics. There is little doubt that it will fundamentally change our perspective on rigorous knowledge, and it could be that, in a few decades, the book they published turns out to be the bedrock of all mathematics, and, by extension, all human knowledge! Have a primer of this upcoming revolution, with this article on type theory, the theory that the book builds upon!

More Elsewhere

Leave a Reply

Your email address will not be published. Required fields are marked *