exoticsphere - Tumblr blog

[exoticsphere]

With all the talk about girl math, I think it’s worth understanding the concept. To that end, we have discovered the following results of note:

Proposition 1.1: there exists and isomorphism between girl math and math.

Proof:

Let t:girl math-> math be a set valued “forgetful” function, with t(x) = x.remove(Girl). t is clearly an embedding of girl math in math, thus we get for free that it is injective. Consider the codomain of t and consider Im(t) = { m : m ∈ math}.

We suppose Im(t) to be nonempty. Thus, consider m ∈ Im(t) ⇒ ∄ g ∈ girl math: t(g)=m. However, ∀ m ∈ Im(t), girl m ∈ girl math, a contradiction. Thus t is bijective.

Consider t(m*n)= m*n.remove(Girl)= m.remove(Girl)*n.remove(Girl)=t(m)*t(n). Thus t is structure preserving. Thus, it is an isomorphism. □

Proposition 1.2: the isomorphism between girl math and math is the “girl function” (really it’s better to formalize as the girl functor but that’s neither here nor there) e. As the astute reader may recall, e(x) = e.add(Girl)

Proof:

Left as an excercise to the reader □

[exoticsphere]

s(he's) bro(ken)

[exoticsphere]

ME

[exoticsphere]

REAL.

when barbie ends up wanting to learn about manifolds

[exoticsphere]

when barbie ends up wanting to learn about manifolds

[exoticsphere]

I SHALL FOREVER SUPPORT TOPOLOGY

"I like topology!"

*crowd cheers*

"...point-set topology"

*crowd boos*