Profile

Cover photo
Qiaochu Yuan
Worked at Machine Intelligence Research Institute
Attends University of California, Berkeley
Lives in Berkeley, CA
2,313 followers|159,467 views
AboutPosts

Stream

Qiaochu Yuan

Shared publicly  - 
 
Let $latex k$ be a commutative ring and let $latex A$ be a $latex k$-algebra. In this post we’ll investigate a condition on $latex A$ which generalizes the condition that $latex A$ is a finit…
4
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Mathematicians are very fond of thinking about algebras. In particular, it’s common to think of commutative algebras as consisting of functions of some sort on spaces of some sort. Less commo…
6
1
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Here's a dumb riddle. We all know that a meromorphic function on a Riemann surface is a function to CP^1. We also all know that meromorphic functions on a Riemann surface form a field, and in particular a ring. So... why isn't CP^1 a ring object in the category of Riemann surfaces?

(It took me an embarrassingly long time to figure this out.)
1
Allen Knutson's profile photoJohn Baez's profile photoQiaochu Yuan's profile photoLuke Sciarappa's profile photo
7 comments
 
Is it because the point is not a Riemann surface?
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Once upon a time I imagine people were very happy to think of Lie algebras as "infinitesimal groups," but presumably when infinitesimals fell out of favor this interpretation did too. In this post ...
9
3
Dan Piponi's profile photo
 
You can write code to "implement" a Lie algebra by writing polymorphic code for the group and replacing the base field of reals with the reals extended by infintesimals: http://blog.sigfpe.com/2008/04/infinitesimal-rotations-and-lie.html

The variable I call 'e' gives the comultiplication.
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Previously we claimed that if you want to check whether a category $latex C$ "behaves like a category of spaces," you can try checking whether it's distributive. The goal of today's post is to just...
3
Add a comment...
Have them in circles
2,313 people
Axel Buchwalter's profile photo
‫سامي ابوحماد‬‎'s profile photo
Rachel Ann Carcedo's profile photo
Samuel Aslani's profile photo
Arshad Ali's profile photo
Christopher Long's profile photo
Michalis N's profile photo
Dou Liang's profile photo
Unique Paperhelp's profile photo

Qiaochu Yuan

Shared publicly  - 
 
Previously we suggested that if we think of commutative algebras as secretly being functions on some sort of spaces, we should correspondingly think of cocommutative coalgebras as secretly being di…
3
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Here's a fun question: is the empty function (from the empty set to itself) constant? Is it locally constant? 
3
1
John Baez's profile photoDavid Roberts's profile photoConrad Meyer's profile photoAllen Knutson's profile photo
15 comments
 
Presumably a constant function f:X->Y should factor through pt->Y uniquely. If that's the only definition, and X is empty, then "f is constant" iff |Y| = 1. Which is pretty weird!
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Very nice visualization of prime factorizations. 
10
4
Radu Grigore's profile photo
 
iirc, this is included in http://incrediblenumbersapp.com/, which is a nice app for kids
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
It's common to think of monads as generalized algebraic theories; the most familiar examples, such as the monads on $latex \text{Set}$ encoding groups, rings, and so forth, have this flavor. Howeve...
4
1
Add a comment...

Qiaochu Yuan

Shared publicly  - 
8
Qiaochu Yuan's profile photoRefurio Anachro's profile photo
3 comments
 
Ah, technology. It's a blessing and a curse. To help get more people to read your posts is pure pleasure on my side! In that reign, I tried some categorification-without-looking-at-literature myself, to come up with an alternative to burritos. And these notes want out, if I'd only dare to post them. Maybe more programmers people would like categorification if they knew more...

There. It's promised, nothing can go wrong now. And maybe it even works and someone shows up here for better, or for more.
Add a comment...

Qiaochu Yuan

Shared publicly  - 
 
Among all of the standard algebraic structures that a student typically encounters in an introduction to abstract algebra (groups, rings, fields, modules), commutative rings are somehow special: th...
4
2
Add a comment...
People
Have them in circles
2,313 people
Axel Buchwalter's profile photo
‫سامي ابوحماد‬‎'s profile photo
Rachel Ann Carcedo's profile photo
Samuel Aslani's profile photo
Arshad Ali's profile photo
Christopher Long's profile photo
Michalis N's profile photo
Dou Liang's profile photo
Unique Paperhelp's profile photo
Work
Occupation
Graduate Student
Employment
  • Machine Intelligence Research Institute
    Visiting Fellow, 2013 - 2013
  • PROMYS
    Counselor, 2012 - 2012
  • Stack Overflow, Inc.
    Intern, 2011 - 2011
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Berkeley, CA
Previously
Boston, MA - New York, NY - Bellevue, WA - Nanjing, China - Singapore - Vancouver, WA - Cambridge, UK
Story
Introduction
I'm a third-year graduate student in mathematics at UC Berkeley. 
Bragging rights
USA Mathematical Olympiad Honorable Mention (2006), Siemens-Westinghouse Science and Technology Competition Semifinalist (2007), Intel Science Talent Search Finalist (2008), William Lowell Putnam Mathematical Competition Honorable Mention (2009), NSF Fellow (2012)
Education
  • University of California, Berkeley
    Mathematics, 2012 - present
  • Massachusetts Institute of Technology
    Mathematics, 2008 - 2012
  • University of Cambridge
    Mathematics, 2010 - 2011