Eigil Rischel - abstr/acc 💎 @ayegill@schelling.pt

This is amazing

Is the category of sheaves the stackification of the constant functor at the category of sets?

"A variety is a 'sheaf on the category' of commutative rings satisfying certain conditions? Lmaoo why would you make up nonsense like that, a variety is just a subset of k^n carved out by polynomial equations"

I get irrationally angry wherever I see people going "smh damn stupid category theorists always making up stupid generalizations for no reason" as if there had never been a French school that revolutionized algebra by making up stupid generalizations.

Pretty insane that *13 YEARS* passed between General Theory of Natural Equivalences (introducing CT) and Kan's original Adjoint Functors paper.

This graph of Pfizer's stock price over the past few years is just completely ridiculous

Do differential equations belong to algebra or coalgebra?🤔

Interesting how "formal" sometimes means "the following is very precise", and sometimes means "the following is deliberately supposed to be meaningless"

The non-sunk cost fallacy: when you are reluctant to make an investment (of time, energy, money, etc), even though it would be useful, because this means acknowledging the gains you've lost out on by not making it earlier.

Has anyone estimated the QALYs/dollar of the Krispy Kreme vaccine thing yet?

I have returned to the fatherland.

"Why did you sting me?" said the frog, "now we will both down!"

"If there was a better strategy than stinging," said the scorpion, "evolution would already have discovered it."

People assume that equality is simply a matter of comparing things for identity, but actually, from a non-strict homotopic viewpoint, it's more like a big ball of wibbly-wobbly, univalent... stuff.

Just to be clear, if you're, for example, in a conversation that also includes your coauthor or another person from the lab, saying "our paper" or "our lab" is normal. Just as it would be weird to say "my son" if the other parent was there with you.

As a grad student - presumably one of the people's whose interest this is meant to protect - I find this really pointless. It's super normal to use "my" in this way! "My country", "my father", "my son". If my dad referred to me as "a kid I raised", I think I'd feel very weird!
---
RT @GregoryRSL
This list about collab respect by @c_j_pascoe @tristanbphd includes a thing that has always puzzled me about science labs.

Why do we say “my l…
https://twitter.com/GregoryRSL/status/1378774326678278155

⁣