HackerTrans
TopNewTrendsCommentsPastAskShowJobs

samasblack

no profile record

Submissions

First Proof

arxiv.org
186 points·by samasblack·5 ay önce·122 comments

comments

samasblack
·5 ay önce·discuss
https://1stproof.org/#about
samasblack
·8 ay önce·discuss
You are observing the evaluation map ev_p: C(M, R) -> R, ev_p(f) = f(p), is a ring homomorphism. In that spirit, you might find this Terry Tao article on the Yondea lemma interesting: https://terrytao.wordpress.com/2023/08/25/yonedas-lemma-as-a...