Hacker News new | past | comments | ask | show | jobs | submit login

Yes, your fun fact is in Baez's TWF week 92 (1996):


and the core proposition goes back to Penrose.

I see I was rather oblique, but I brought up the fun fact because that equation is how Penrose proved it (to account for signs). By the way, the TWF article is citing the Bar-Natan paper.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact