pv1isalsoimportant

[pv1isalsoimportant]

If you think you didn't do "that much work", just write the stuff down in LaTeX. I needed to come up with just "one small example". I'm not even finished with the proof of the first claim and it's already a page long. The fucking example will have like 5 pages I can see it.

[pv1isalsoimportant]

Don't you just love it when suddenly the brain isn't braining anymore. And the math isn't mathing either.

Nothing mathers

[pv1isalsoimportant]

Fumbled in my phd entrance exam so badly I had a nightmare about it the next day. Good news is, it apparently didn't matter that much, bad news is, now people in the department think I'm an idiot (which... I am). Still stressed about it few days later but life goes on and there is a thesis that needs to get finished so I probably should get over it.

[pv1isalsoimportant]

Women's deodorant is like "oh I smell like lavender, rose, and hint of vanilla" and men be like "COMMUTATIVE DIAGRAMS AND THE AXIOM OF CHOICE"

[pv1isalsoimportant]

Physics is to math as Python is to Haskell.

In physics, everything is typed dynamically. Sure, the codomain, i.e. the units of a function or quantity is usually static, but the domain, i.e. the dependent variable are whatever they need to be.

Meanwhile in math, we specify what our objects are. They are statically typed. Even if I have no clue what a Haskell function does, I can at least look at its type signature to get a rough idea.

I wish physics were statically typed with explicit type annotations because it is driving me up a wall that, for instance, both the force between two points and the net force of a single point are referred as 'the force'. They have different type signatures!

That, and energy. 'Energy' is not conserved. The total energy of an isolated system is, but the energy at a point given by the potential energy field can of course change. This ambiguous use of language makes it really difficult for idiots like me to learn physics. I am not good with wishy-washyness. If you input ambiguous language into my brain, I can regurgitate grammatical connections between vocabulary words (you know, the stuff even an LLM can do), but you can't expect genuine insight from me. For that, I need clear, bright lines. How can you have theorems if you don't spell out your assumptions!

[pv1isalsoimportant]

I really feel like size issues should not matter in category theory. I know that is not true, particularly in thinking about completeness and cocompleteness. Somehow, though, it feels like Yoneda's Lemma and the characterisation of adjunctions in terms of a single natural isomorphism is so much more general than only applying to locally small categories.

[pv1isalsoimportant]

Despite lattices arising just as readily as groups in mathematics, they seem shockingly absent from the general background knowledge of mathematicians. Why do we leave this third pillar of modern algebra outside, rather than inviting it into our algebra textbooks?

[pv1isalsoimportant]

being in academia is kind of like where you're on everest and you see the frozen bodies of the other people who've tried it strewn about everywhere and you think "okay, but that's them and i'm me"

[pv1isalsoimportant]

Getting home with bites on my neck still visible from hooking up with a fellow academic, gonna tell people it's a work injury.

[pv1isalsoimportant]

love downloading a pdf to never read. just in case. like lol. you’re coming home with me

[pv1isalsoimportant]

[pv1isalsoimportant]

[pv1isalsoimportant]

me (real not fake)

[pv1isalsoimportant]

[pv1isalsoimportant]

kirby reads hatcher!

[pv1isalsoimportant]

Today's reading reminded me how much is my @ true. PV_1 is very important, people often forget that stuff. Really it's such a perfect tool as a theory. When you first read about it, you're like "what the fuck, why would anyone define it like that" and then you see how you use all the useful properties of PV_1 for unprovability results and you're like OH THAT'S WHY.

[pv1isalsoimportant]

When you graduate from being interested in feet.

Is this anything?