Alain Connes on Toposes and Integers

From Toposes in Como, 2018. Alain Connes was a part of Nicolas Bourbaki.


A really smart kid would say that you only need to learn exponentiation, then you already know how to multiply and add, because you can compose exponentials, so you know that (a^x)^y=a^(x*y) and (a^x)*(a^y)=a^(x+y). I did this once with a higher-order functor in Moscow ML. The result was a lamba expression with three curried arguments that did all three arithmetic operations. I am still trying to understand what a Cartesian Closed Category is though, ...

Subscribe to Università degli Studi dell'Insubria


Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023