/sci/ - Science & Math

>>7136826
Ah, well I think he wasn't literally in the mountains, just in some village close to the mountains.
Herbrand, though, he died a mans death.

Pic related are the diagrams I refer to.
Let it be noted that I don't understand the buzzword "homotopy lifting property", which may be needed here.

Because gossip is always fun,
form this post from the weekend, and some of the links it points to, I read out that some of the (old) topos people "seem to be a little pissed/frustrated" that the shit only now takes off when their carriers end

https://plus.google.com/+UrsSchreiber/posts/GKp5QGpYQHK

http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html