while visiting Berlin, I decided to visit Alexander Grothendieck's Stolperstein, in front of the house that he and his parents lived in before they had to flee from or were murdered by Nazism.

I sat down for 20 minutes. reminded myself of the basic definition of the Grothendieck construction and proving (though sloppily) that the Grothendieck construction of a 2-functor yields it's (op)lax colimit

there were people coming in and out of the building, there was life. though I wonder if any of them are aware that someone who would become one of the greatest mathematicians of the 20th century used to live there.

it felt nice to do maths sitting there, as if under the eyes of a kind and watchful advisor

Now that quote posts are a thing on Mastodon, we need an insufferably cutesy nickname for them that everyone hates but still gets used anyway.

To that end I nominate “Quoots”, a portmanteau of ‘quote’ and ‘toot’. I believe it’s the worst possible option, solidly cementing Mastodon in particular and the Fediverse in general as having the worst slang on the internet.

Please quoot to spread the word.

Ich überlege gerade, ob diese Klimaprobleme nicht doch mit Rudi Carells "Wann wird's mal wieder richtig Sommer" begonnen haben. Seit dieses Lied 1975 erschienen ist, ging die Temperatur beständig deutlich rauf.

https://youtu.be/KzEOvyDcVas?si=ecG2cgJl23JZvfzg

#klimawandel #fakenews #rudicarell #sommer