Proof

One might wonder why the human spirit optimistic sees the language of the infinite hierarchy of universes one can consider equivalence the poet transport the river univalence the sun the air will then equip computational meaning our greatest human impulse the mountain perpetual cannot properly define them naturally natural transformations exist in some form one can easily construct paths beyond our control diagonal maps squiggly arrows without any specified direction divinities as morphisms redefining our dreams the ideas underlying identities are not generally true That is, we will reduce to face absurd faces but then what about the great mystery the geometric intuition it is not sufficient trivially no deep reason free we have now finally reached the last equality

Collage sources: Anders Mörtberg's lecture notes on cubical type theory, a cube from Carlo Angiuli's thesis, and an issue of National Geographic.

Jade

Jade

I found myself buzzing about in a cloud of mist so suffused with the military ethos I would struggle to look, I was a firm yet delicate beautiful shadow waging war I confess Kiss the chaos she told me with a merciless hope and take my love A sibilant language seeking stability For the first time, explore the free and open flow the return of a future

Collage sources: National Geographic & Foreign Affairs

Fin