I'd rather be in outer space 🛸
No title available
Cosmic Funnies
Cosimo Galluzzi
JBB: An Artblog!
titsay
Acquired Stardust
todays bird
🪼
⁂
"I'm Dorothy Gale from Kansas"
Not today Justin
Product Placement
RMH
pixel skylines
cherry valley forever
Jules of Nature
$LAYYYTER
styofa doing anything
No title available
seen from Norway
seen from United States
seen from Australia
seen from United States
seen from Norway
seen from Norway
seen from United States
seen from Australia
seen from Italy
seen from Saudi Arabia
seen from Malaysia
seen from Norway
seen from Norway
seen from Netherlands
seen from United Kingdom
seen from Malaysia
seen from United States
seen from Australia
seen from Australia
seen from United States
@pedanticpea
[Diagram depicting a pullback of spans.]
It is clear that composition is well-defined and associative. Thus when the isomorphism classes of diagrams (3) form a set (e.g. if every object of M has a set of subobjects) then QM is a well-defined category. We assume this to be the case from now on.
Back in the good old days when people cared about "size issues"...
Source: Quillen, Higher algebraic K-theory: I
Therapist: *Guides me through relaxation/breath exercises.*
Therapist: Now imagine your life in future, without today's problems you are struggling with.
Me: *Just can't.*
Mercurial is the complete Segal spaces of distributed version control systems.
null
Just a teaser:
In general, I always discourage students to pursue an advanced degree in pure mathematics or pure physics. I have seen so many talented people who have failed in their dream on pure math or pure physics, that is one reason. The other reason is that mathematics is becoming more and more technical and specialized, so it is not as appealing as it used to be. The third reason is that it is becoming more and more political and commercialized.
I’m back, kind of.
Well, looks like summer is generally a bad time for my tumblr. (In particular, my absence was mostly not related with the ongoing pandemic.)
"Good news" is that I've been occasionally feeling like posting something here in the last weeks, on which I have finally acted, but I somewhat started to lose my motivation for this "blogging" thing in general, so I'm not sure how long I'll actually hang on.
When you search for "fiberwise suspension" on the interwebz...
I confess
Earlier I was confused for a moment when someone called D^-(A) the right bounded derived category because I was thinking in cohomological notation.
I guess I'm officially one of THEM now...
Um, my computer is broken again
And I was told that it can't be repaired before the lockdown is over, so this time I actually made the effort of logging in to Tumblr on my old laptop.
Me, in the beginning of self-isolation: I kinda secretly hoped for this. Now I can stay at home without fear of missing out, yay!
Me, a few days later: Smashing F5 on COVID-19 statistics, tons of press conferences to watch, the urge to follow gazillions of group chats set up for socializing during self-isolation; FOMO everywhere.
It just occurred to me...
... that (unless you believe in proof irrelevance) the Curry--Howard correspondance tells us that patenting software/algorithms is essentially the same as patenting proofs. And guess what, both are uncool.
BTW, here's the tweet which made me realize this: https://twitter.com/tangled_zans/status/1238797725950492673
Seriously, what did my parents (or I?) do wrong when the strongest reason for visiting them regularly is not forgetting how to drive?
Chris Kapulkin on “the new decade”
Welcome to the new decade of HoTT Electronic Seminar Talks.
Now I can imagine that some of you are probably saying "This is not a new decade! The new decade starts in a year!", in which case I'm gonna tell you two things.
Thing number one is, you're technically right. The new decade starts in a year because there was no year zero as I was shocked to discover about a month ago.
And two, nobody likes you. When you correct people like that, no one's gonna think "Oh, thank you so much!".
In any case, welcome to the new decade [...].
From: https://youtu.be/7_X0qbSXlfk?t=6
Of course I would come up with a "novel approach" to bullshit my advisor during our meeting instead of actually typing the shit they asked me to write up and discussing that.
I want to quit grad school and become a tree.
Another unintended break
First my computer needed to be repaired, then came the holidays and travels. Sorry for missing all the action in November and December in particular!
Life Hack
People get confused when you play for draw instead of playing for winning.
It doesn't work well for all games, but quite often you can deprive your opponent of glory without feeling too much pressure to win yourself.
From Visa applications: emotional tax and privileged passports.