"A proof that algebraic topology can never have a non self-contradictory set of abelian groups" - Dr. Sheldon Cooper In the current episode "The Big Bang Theory", Dr. Sheldon Cooper has a booklet titled "A proof that algebraic topology can never have a non self-contradictory set of abelian groups". I'm still an undergrad in mathematics and I have no idea what an algebraic topology is and why it would never have "a non self-contradictory set of abelian groups". My first reaction of course was to read up the wikipedia article, but it's really short and doesn't explain a lot. So instead of reading through tons of articles, I wanted to ask whether it is possible to just very shallowly explain what this is about. 
What is an algebraic topology (I know what a topology is and I'm currently learning algebra)? What is "a non self-contradictory set of abelian groups" (I surely know what abelian groups are)? And how would one prove this (if I had to read up a lot to understand the proof, I guess I'd rather be left without proof)?
I hope this is the right place to ask this question, thanks in advance for answers.
 A: It does seem to be nonsense the best I got to making sense out of it was the following way:
There is reference to "an" algebraic topology as opposed to just algebraic topology (it is actually a field of study not an object). This might be interpreted as "a functor from the category of topological spaces to some category of algebraic objects" like the category of groups or abelian groups (like homology groups). This resembles Segal's definition of conformal field theory which is different from the way physicists would define it. 
Then they say it contains no self-contradictory abelian groups. The only thing I can think of there is that this functor would not send two homeomorphic spaces to non-isomorphic abelian groups i.e. the abelian group is an invariant of the space (up to homeomorphism). 
However the definition of a functor already fixes this (which it should since the idea of functor comes from algebraic topology while looking for a way to find this sort of invariants for topological spaces, as far as I know) it has 
$$F(Id_X)= Id_F(X) \\\text{ and }F(f \circ g)=F(f)\circ F(g) $$
so if $f$ is an homeomorphism then just fill in $f$ inverse for $g$ and you see that $F(g)$ is the left and right inverse to $F(f)$. So the algebraic objects are isomorphic. So even though one might want to show this it is just plain silly (even for a five year old) to then only look at abelian groups since it is a purely categorical matter. 
A: Topology is a branch of mathematics that studies the topological behavior of sets of points. I'll make an analogy with geometry.  In geometry, we consider two triangles to be essentially the same, and to have the same geometric properties, once we know the lengths of the sides and the measures of the angles.  We don't care about what colors they are, or what they are made of. these are not geometric properties. Two triangles are considered geometrically equivalent ("congruent") if they are the same size and shape, and if we can superimpose one on the other by moving it rigidly in space.
In topology, we don't care about size and shape, but about a certain more abstract and general property that is something like how the figure is connected to itself.  Two objects are considered topologically equivalent if one can be bent, stretched, or squeezed until it looks like the other—but tearing is not allowed. All triangles are topologically equivalent, and all line segments are  topologically equivalent, but triangles are not equivalent to line segments, since to turn a triangle into a line segment requires that you make a hole in it. The famous saying is that in topology a doughnut and a coffee cup are the same: you can put a dent into the doughnut, then enlarge the dent into the vessel of the cup, while the hole in the doughnut shrinks to become the hole in the handle of the cup.  But there is no way to turn a sphere into a cup, because you would have to punch a hole in the sphere to make the handle.
Algebraic topology is a branch of mathematics which studies topological structures by mapping them to algebraic structures. Algebraic topology deals with certain special functions, called "functors", which take a topological object, such as a circle or a sphere, and turn it into an algebraic structures, such as the set of integers under the operation of addition, or the number 0 under the operation of addition, in such a way that if two topological objects get turned into different algebraic objects you can be sure that the two topological objects were different to begin with. Usually the algebraic structures are easier to reason about than the topological ones were, which is why we study algebraic topology in the first place. 
Abelian groups are examples of algebraic structures. A group is a set, such as the even integers, together with a binary operation on the set, such as addition. The operation is required to satisfy certain properties. For example, it must be associative, which means that $a+(b+c) = (a+b)+c$ for every elements $a,b,c$ of the set. If the operation is also commutative, which means that $a+b = b+a$ for all $a,b$, then the group is an abelian group.
The phrase "algebraic topology can never have a non self-contradictory set of abelian groups" is nonsense.
