Puzzle: Let A^1 : CAlg(R) -> Set be the forgetful functor from commutative algebras over the real numbers to Set. Show that there is no natural transformation A^1 -> A^1 such that A^1(R) -> A^1(R) is the exponential function. Can you do it without using that A^1 is representable?
Jakob
@jdw@mathstodon.xyz
I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible. I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields. I try to be friendly towards my fellow creatures, which of course has political implications.
mathstodon.xyz
Jakob
@jdw@mathstodon.xyz
I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible. I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields. I try to be friendly towards my fellow creatures, which of course has political implications.
mathstodon.xyz
@jdw@mathstodon.xyz
·
2d ago
0
0
0
Loading comments...